Formulae-as-types notion of control

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

Volumn , Issue , 1990, Pages 47-58

  Griffin, Timothy G ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

PROGRAMMING LANGUAGE SCHEME; SCHEME PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0025211131     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)