FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Software design for reliability and reuse: a proof-of-concept demonstration
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Bridging the gulf: a common intermediate language for ML and Haskell
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Least and greatest fixed points in intuitionistic natural deduction
Theoretical Computer Science - Special issue on theories of types and proofs
Least and greatest fixed points in intuitionistic natural deduction
Theoretical Computer Science - Special issue on theories of types and proofs
Warm fusion in Stratego: A case study in generation of program transformation systems
Annals of Mathematics and Artificial Intelligence
Categorical Programming with Abstract Data Types
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Journal of Functional Programming
Modelling general recursion in type theory
Mathematical Structures in Computer Science
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Adapting functional programs to higher order logic
Higher-Order and Symbolic Computation
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Using Coq to understand nested datatypes
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
A useful bounded resource functional language
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Let's see how things unfold: reconciling the infinite with the intensional
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Subtyping, declaratively: an exercise in mixed induction and coinduction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Modularity and Implementation of Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A categorical semantics for inductive-inductive definitions
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Relationships between equational and inductive data types
Formal Methods in Software and Systems Modeling
Bireachability and final multialgebras
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Recursion schemes for dynamic programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Formalising exact arithmetic in type theory
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae
Hi-index | 0.00 |