Trevor Jim. What are principal typings and what are they good for? Technical memorandum MIT/LCS/TM-532, MIT, November 1995. 34 REFERENCES Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? Technical memorandum MIT/LCS/TM-532, MIT, November 1995. 34 REFERENCES
Tridirectional Typechecking - Joshua Dunfield Joshuad (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? Technical memorandum MIT/LCS/TM-532, MIT, November 1995.
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? Technical memorandum MIT/LCS/TM-532, MIT, November 1995. 34 REFERENCES
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? Technical memorandum MIT/LCS/TM-532, MIT, November 1995.
A Separate Compilation Extension to Standard ML - Revised And Expanded (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 1996.
A Separate Compilation Extension to Standard ML - David Swasey Tom (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 1996.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Unknown - Expansion Variables For (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2003) (2 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Strongly Typed Flow-Directed Representation Transformations - Dimock, Muller, Turbak.. (1997) (15 citations) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In POPL '96 [23].
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
No context found.
Jim, T., What are principal typings and what are they good for? POPL'96, ACM, 1996.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Implementing Compositional Analysis Using Intersection.. - Kfoury, Washburn, Wells (2003) (3 citations) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? Tech. memo. MIT/LCS/TM-532, MIT, 1995.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
ML-like Inference for Classifiers - Calcagno, Moggi, Taha (2004) (5 citations) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Rank-2 Intersection and Polymorphic Recursion - Damiani (2005) (2 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In POPL'96, pages 42--53. ACM, 1996.
Polar Type Inference with Intersection Types and ω - Carlier (2002) (4 citations) (Correct)
No context found.
Jim, T., What are principal typings and what are they good for?, Tech. memo. MIT/LCS/TM-532, MIT (1995). URL http://www.research.att.com/~trevor/papers.html
A Modular, Polyvariant, and Type-Based Closure Analysis - Banerjee (1997) (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Proceedings of the Twentythird Annual ACM Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 1996.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Trevor Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2004) (2 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
The Essence of Principal Typings - Wells (2002) (51 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? In Conf. Rec. POPL '96: 23rd ACM Symp. Princ. of Prog. Langs., 1996.
The Essence of Principal Typings - Wells (2002) (51 citations) (Correct)
No context found.
T. Jim. What are principal typings and what are they good for? Tech. memo. MIT/LCS/TM532, MIT, 1995.
First 50 documents Next 50
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