HasCasl: integrated higher-order specification and program development (Q1006648): Difference between revisions

@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Free objects and equational deduction for partial conditional specifications
+Normal rank
@@ Property / cites work @@
+Proofs as programs
@@ Property / cites work: Proofs as programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945200
@@ Property / cites work: Q4945200 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Categorical models for Abadi and Plotkin's logic for parametricity
+Normal rank
@@ Property / cites work @@
+May I borrow your logic? (Transporting logical structures along maps)
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4944851
@@ Property / cites work: Q4944851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738223
@@ Property / cites work: Q4738223 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4845499
@@ Property / cites work: Q4845499 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Completeness of Global Evaluation Logic
@@ Property / cites work: Completeness of Global Evaluation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of demand in Haskell
@@ Property / cites work: The logic of demand in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebraic specifications with higher-order functions
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q3976461
@@ Property / cites work: Q3976461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+The definition of Extended ML: A gentle introduction
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Type classes with existential types
@@ Property / cites work: Type classes with existential types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827990
@@ Property / cites work: Q3827990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764126
@@ Property / cites work: Q3764126 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms in categories of effective objects
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327833
@@ Property / cites work: Q4327833 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Polymorphic subtyping in O'Haskell
@@ Property / cites work: Polymorphic subtyping in O'Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing coinduction and corecursion in higher-order logic
+Normal rank
@@ Property / cites work @@
+Practical type inference for arbitrary-rank types
@@ Property / cites work: Practical type inference for arbitrary-rank types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024884
@@ Property / cites work: Q3024884 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499141
@@ Property / cites work: Q4499141 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Implementations revisited
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764130
@@ Property / cites work: Q2764130 / rank @@
+Normal rank
@@ Property / cites work @@
+HasCasl: Towards Integrated Specification and Development of Functional Programs
+Normal rank
@@ Property / cites work @@
+Q4417837
@@ Property / cites work: Q4417837 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad-independent Dynamic Logic in HasCasl
@@ Property / cites work: Monad-independent Dynamic Logic in HasCasl / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Bootstrapping Types and Cotypes in HasCASL
@@ Property / cites work: Bootstrapping Types and Cotypes in HasCASL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998741
@@ Property / cites work: Q3998741 / rank @@
+Normal rank