Generative unbinding of names

DOI10.1145/1190216.1190232zbMath1295.68069arXiv0801.1251OpenAlexW4249550927MaRDI QIDQ3189787

Andrew M. Pitts, Mark R. Shinwell

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0801.1251

zbMATH Keywords

bindersmeta-programmingabstract syntaxalpha-conversion

Mathematics Subject Classification ID

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

This page was built for publication: Generative unbinding of names