Enriching the lambda calculus with contexts

DOI10.1145/232627.232652zbMath1344.68051OpenAlexW1964391280MaRDI QIDQ2817703

Shinn-Der Lee, Daniel P. Friedman

Publication date: 1 September 2016

Published in: Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/232627.232652

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

A lambda-calculus for dynamic binding ⋮ A typed context calculus ⋮ Two-level Lambda-calculus ⋮ The lambda-context calculus (extended version)

This page was built for publication: Enriching the lambda calculus with contexts