Using parameterized signatures to express modular structure

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1996, Pages 68-78

  Jones, Mark P ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; PROGRAM COMPILERS; SOFTWARE ENGINEERING;

COMPILE TIME TYPE CHECKING; EXISTENTIAL TYPES; MODULAR PROGRAMMING; MODULAR STRUCTURE; PARAMETERIZED SIGNATURES; POLYMORPHISM; QUANTIFIERS; SEPARATE COMPILATION;

PROGRAMMING THEORY;

EID: 0029703472     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237731     Document Type: Conference Paper

References (28)