Region analysis and the polymorphic lambda calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 88-97

  Banerjee, Anindya ^a   Heintze, Nevin ^a   Riecke, Jon G ^a  

^a STEVENS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DENOTATIONAL SEMANTICS; MEMORY DEALLOCATION; POLYMORPHIC LAMBDA CALCULUS;

COMPUTATIONAL METHODS; DATA STORAGE EQUIPMENT; HIGH LEVEL LANGUAGES; LINGUISTICS; SET THEORY; STORAGE ALLOCATION (COMPUTER); THEOREM PROVING;

FORMAL LOGIC;

EID: 0032597535     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)