Practical subtyping system for Erlang

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

Volumn , Issue , 1997, Pages 136-149

  Marlow, Simon ^a   Wadler, Philip ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; RECURSIVE FUNCTIONS; SOFTWARE PROTOTYPING;

ERLANG PROGRAMMING LANGUAGE; FUNCTIONAL LANGUAGES; SUBTYPING SYSTEM;

COMPUTER SYSTEMS PROGRAMMING;

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

References (21)