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
Subtyping and constructive specification
Nordic Journal of Computing
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Sized Types for Typing Eden Skeletons
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Hume: a domain-specific language for real-time embedded systems
Proceedings of the 2nd international conference on Generative programming and component engineering
Generating spreadsheet-like tools from strong attribute grammars
Proceedings of the 2nd international conference on Generative programming and component engineering
Special issue: Modalities in type theory
Mathematical Structures in Computer Science
First-order unification by structural recursion
Journal of Functional Programming
The expressive power of higher-order types or, life without CONS
Journal of Functional Programming
Fast and loose reasoning is morally correct
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Recursive coalgebras from comonads
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Containers: constructing strictly positive types
Theoretical Computer Science - Applied semantics: Selected topics
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Proceedings of the 2007 ACM symposium on Applied computing
Tips on teaching types and functions
Proceedings of the 2008 international workshop on Functional and declarative programming in education
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Adapting functional programs to higher order logic
Higher-Order and Symbolic Computation
The worker/wrapper transformation
Journal of Functional Programming
Recursive coalgebras from comonads
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Predictable space behaviour in FSM-Hume
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
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
Fundamenta Informaticae - Dependently Typed Programming
The Recursion Scheme from the Cofree Recursive Comonad
Electronic Notes in Theoretical Computer Science (ENTCS)
Inferring cost equations for recursive, polymorphic and higher-order functional programs
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Epigram: practical programming with dependent types
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A dependently typed framework for static analysis of program execution costs
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
| Hi-index | 0.00 |