Claudio V. Russo. Types for Modules. PhD thesis, Univ. of Edinburgh, 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Equational Reasoning for Linking with First-Class Primitive.. - Wells, Vestergaard (2000) (8 citations) (Correct)
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) (Correct)
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC