Binding Structures as an Abstract Data Type

DOI10.1007/978-3-662-46669-8_31zbMath1335.68153OpenAlexW602535979MaRDI QIDQ2802464

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)

Related Items (1)

A formalization of SQL with nulls

Uses Software

• Isabelle/HOL
• PoplMark
• LNgen
• Autosubst

This page was built for publication: Binding Structures as an Abstract Data Type