A Metalanguage for Programming with Bound Names Modulo Renaming
Lecture notes in computer science2000pp. 230–255
Citations Over TimeTop 1% of 2000 papers
Related Papers
- → Programming with abstract data types(1974)390 cited
- → Type qualifiers as composable language extensions(2017)2 cited
- → Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG(1981)12 cited
- → The University of Washington illustrating compiler(1990)7 cited
- → Synthesizing abstract data type specifications(1982)