Inductive, coinductive, and pointed types

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 1996, Pages 102-109

  Howard, Brian T ^a  

^a KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; RECURSIVE FUNCTIONS;

GENERAL RECURSION; LAMBDA CALCULUS;

COMPUTATIONAL GRAMMARS;

EID: 0029694139     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/232627.232640     Document Type: Conference Paper

References (26)