scientific article; zbMATH DE number 2111733

zbMath1094.68012MaRDI QIDQ4825542

Peter Dybjer, Marcin Benke, Patrik Jansson

Publication date: 28 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Martin-Löf type theorypolytopic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Dependently Sorted Logic ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Declarative Foreign Function Binding Through Generic Programming ⋮ Libraries for Generic Programming in Haskell ⋮ Indexed induction-recursion ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Uses Software

• Polyp

This page was built for publication: