Publication:4825542
From MaRDI portal
zbMath1094.68012MaRDI QIDQ4825542
Peter Dybjer, Marcin Benke, Patrik Jansson
Publication date: 28 October 2004
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs, POPLMark reloaded: Mechanizing proofs by logical relations, Type-based termination of generic programs, Generic programming in 3D, Indexed induction-recursion, Declarative Foreign Function Binding Through Generic Programming, Dependently Sorted Logic, Libraries for Generic Programming in Haskell
Uses Software