Higher-order abstract syntax

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn 20-24-June-1988, Issue , 1988, Pages 199-208

  Pfenning, Frank ^a   Elliott, Conal ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; SYNTACTICS;

CARNEGIE MELLON UNIVERSITY; FORMAL SYSTEMS; HIGHER-ORDER; HIGHER-ORDER ABSTRACT SYNTAX; NAME-BINDING; UNIFICATION ALGORITHMS;

LISP (PROGRAMMING LANGUAGE);

EID: 84956694006     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/53990.54010     Document Type: Conference Paper

References (0)