scientific article; zbMATH DE number 2100542
From MaRDI portal
Publication:4816996
zbMath1089.68529MaRDI QIDQ4816996
Conor McBride, Thorsten Altenkirch
Publication date: 14 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Computer theorem proving in mathematics ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Unnamed Item ⋮ 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
This page was built for publication:
