Binding structures as an abstract data type

DOI10.1007/978-3-662-46669-8_31MaRDI QIDQ2802464zbMATH OpenOpenAlexFDO

Authors Wilmer Ricciotti

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://link.springer.com/chapter/10.1007%2F978-3-662-46669-8_31

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• A canonical locally named representation of binding
• The locally nameless representation
• Binders unbound
• Publication:4490374
• scientific article; zbMATH DE number 1692888

Cited in

(8)

• scientific article; zbMATH DE number 1476647 (Why is no real title available?)
• The locally nameless representation
• scientific article; zbMATH DE number 2003156 (Why is no real title available?)
• Binders unbound
• A formalization of SQL with nulls
• Theorem Proving in Higher Order Logics
• A canonical locally named representation of binding
• scientific article; zbMATH DE number 89006 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle/HOL
• PoplMark
• LNgen
• Autosubst

This page was built for publication: Binding structures as an abstract data type

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