Once upon a type

Volumn , Issue , 1995, Pages 1-11

  Turner, David N ^a   Wadler, Philip ^a   Mossin, Christian ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; DATA REDUCTION; DATA STRUCTURES; OPTIMIZATION;

CALL BY VALUE LANGUAGE; LINEAR LOGIC; PROGRAM ANALYSIS;

LOGIC PROGRAMMING;

EID: 0029205776     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/224164.224168     Document Type: Conference Paper

References (0)