Scrap your nameplate

DOI10.1145/1086365.1086389zbMath1302.68056OpenAlexW4299423755MaRDI QIDQ2936781

James Cheney

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

substitutionbindingnamesgeneric programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

αCheck: A mechanized metatheory model checker ⋮ General Bindings and Alpha-Equivalence in Nominal Isabelle