Browsing Computer Science by Subject "record calculus"
Now showing items 1-1 of 1
(Özyeğin University, 06.09.2010)It has been previously shown that there is a close relation between record calculus and program generation (e.g. Lisp-like quasiquotations): A translation has been defined to convert staged expressions to record calculus ...
Share this page