ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Categories of partial morphisms and the λp-calculus
Proceedings of a tutorial and workshop on Category theory and computer programming
Abstract and concrete categories
Abstract and concrete categories
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Notions of computation and monads
Information and Computation
The Z notation: a reference manual
The Z notation: a reference manual
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Free objects and equational deduction for partial conditional specifications
Theoretical Computer Science
May I borrow your logic? (Transporting logical structures along maps)
Theoretical Computer Science - Special issue: algebraic development techniques
The definition of extended ML: a gentle introduction
Theoretical Computer Science - Special issue: algebraic development techniques
ACM Computing Surveys (CSUR)
Order-sorted algebraic specifications with higher-order functions
Theoretical Computer Science - Special issue on algebraic methodology and software technology
Algebraic methods for specification and formal development of programs
ACM Computing Surveys (CSUR)
A short introduction to intuitionistic logic
A short introduction to intuitionistic logic
Types and programming languages
Types and programming languages
A Discipline of Programming
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
HOLCF: Higher Order Logic of Computable Functions
Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Polymorphism is Set Theoretic, Constructively
Category Theory and Computer Science
Haskell tools from the programatica project
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Categorical models for Abadi and Plotkin's logic for parametricity
Mathematical Structures in Computer Science
The logic of demand in Haskell
Journal of Functional Programming
Monad-independent Dynamic Logic in HasCasl
Journal of Logic and Computation
The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus
Theoretical Computer Science
Practical type inference for arbitrary-rank types
Journal of Functional Programming
Monad-independent Hoare logic in HasCasl
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Bootstrapping types and cotypes in HASCASL
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Completeness of global evaluation logic
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
A simple refinement language for CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A Semantics For Evaluation Logic
Fundamenta Informaticae
Formal Management of CAD/CAM Processes
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Formalizing and operationalizing industrial standards
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
A coinductive calculus for asynchronous side-effecting processes
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Just do it: simple monadic equational reasoning
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
Journal of Automated Reasoning
A coinductive calculus for asynchronous side-effecting processes
Information and Computation
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 5.23 |
We lay out the design of HasCasl, a higher order extension of the algebraic specification language Casl that serves both as a wide-spectrum language for the rigorous specification and development of software, in particular but not exclusively in modern functional programming languages, and as an expressive standard language for higher-order logic. Distinctive features of HasCasl include partial higher order functions, higher order subtyping, shallow polymorphism, and an extensive type-class mechanism. Moreover, HasCasl provides dedicated specification support for monad-based functional-imperative programming with generic side effects, including a monad-based generic Hoare logic.