Implementation of typed call-by value λ-calculus using a stack of regions

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1994, Pages 188-201

  Tofte, Mada ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS; STORAGE ALLOCATION (COMPUTER); STRUCTURED PROGRAMMING;

CALCULUS; STACK REGION; TRANSLATION SCHEME;

COMPUTER PROGRAMMING;

EID: 0028015018     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/174675.177855     Document Type: Conference Paper

References (31)