Types for Proofs and Programs

DOI10.1007/11617990zbMATH Open1172.68400OpenAlexW4300050167MaRDI QIDQ5897608

Burkhart Wolff, Thomas Meyer

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11617990

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (2)

Title not available (Why is that?) ⋮ Optimizing structural recursion in functional programs

Uses Software

• Title not available (Why is that?)

This page was built for publication: Types for Proofs and Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897608)