Sciweavers

2 search results - page 1 / 1
» Quasiquotation in Lisp
Sort
View
PEPM
1999
ACM
13 years 9 months ago
Quasiquotation in Lisp
Quasiquotation is the technology commonly used in Lisp to write program-generating programs. In this paper I will review the history and development of this technology, and explai...
Alan Bawden
POPL
2006
ACM
14 years 5 months ago
A polymorphic modal type system for lisp-like multi-staged languages
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno