The design and implementation of typed scheme
- 7 January 2008
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 43 (1), 395-406
- https://doi.org/10.1145/1328438.1328486
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Scheme with Classes, Mixins, and TraitsLecture Notes in Computer Science, 2006
- Nominal Techniques in Isabelle/HOLLecture Notes in Computer Science, 2005
- A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsLecture Notes in Computer Science, 2004
- DrScheme: a programming environment for SchemeJournal of Functional Programming, 2002
- Local type inferenceACM Transactions on Programming Languages and Systems, 2000
- Componential set-based analysisACM Transactions on Programming Languages and Systems, 1999
- A practical soft type system for schemeACM Transactions on Programming Languages and Systems, 1997
- Catching bugs in the web of program invariantsPublished by Association for Computing Machinery (ACM) ,1996
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- A new approach to procedures with variable arityHigher-Order and Symbolic Computation, 1990