Efficient and flexible matching of recursive types

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 388-398

  Palsberg, Jens ^a   Zhao, Tian ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ITERATIVE METHODS; LIBRARIES; SOFTWARE ENGINEERING;

FLEXIBLE MATCHING; SOFTWARE MODULES;

INFORMATION RETRIEVAL SYSTEMS;

EID: 0033681415     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)