Back to Results
First PageMeta Content
Subroutines / Control flow / Defunctionalization / Models of computation / Type theory / Formal methods / Function / Type system / Eval / Software engineering / Computing / Computer programming


Document Date: 2007-03-26 18:06:16

Open Document

File Size: 104,08 KB

Share Result on Facebook

Country

Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus† March / Computer Science University of Aarhus IT-parken / /

IndustryTerm

constructor applications / iterative solution / famous simple solution / data-type constructor applications / call site / defunctionalization algorithm / /

Organization

Millikin BRICS Department / BRICS Department / University of Aarhus / Computer Science University of Aarhus IT-parken / /

Person

Olivier Danvy / Olivier Danvy Kevin Millikin / Kevin Millikin / /

/

Position

definitional interpreter / compositional interpreter / closure-converted interpreter / interpreter / /

ProgrammingLanguage

C / ML / /

Technology

shunting-yard algorithm / defunctionalization algorithm / /

URL

ftp /

SocialTag