Back to Results
First PageMeta Content
Mathematics / Ordinary differential equations / Spectral theory / Mathematical analysis / Spectral theory of ordinary differential equations / Curry–Howard correspondence / Symbol / De Bruijn index / Valuation


Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov
Add to Reading List

Document Date: 2007-12-01 03:56:46

Open Document

File Size: 210,32 KB

Share Result on Facebook

City

San Francisco / /

Country

United States / /

Currency

USD / /

/

Facility

Typed Closures Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan University / R. square / /

IndustryTerm

staged type systems / real-life applications / computing / type systems / non-solution / multistage type systems / /

Organization

University of Tsukuba / Rutgers University / eta / /

Person

Peyton Jones / Launchbury Jones / Oleg Kiselyov Chung-chieh / /

Position

Type structure General / self-interpreter / programmer / /

ProgrammingLanguage

R / Lisp / /

ProvinceOrState

California / /

Technology

same algorithm / /

URL

http /

SocialTag