-
4
-
-
34247218190
-
How good is local type inference? Technical Report MS-CIS-99-17, University of Pennsylvania
-
June
-
Haruo Hosoya and Benjamin C. Pierce. How good is local type inference? Technical Report MS-CIS-99-17, University of Pennsylvania, June 1999.
-
(1999)
-
-
Hosoya, H.1
Pierce, B.C.2
-
7
-
-
0028465744
-
A direct algorithm for type inference in the rank-2 fragment of the second-order lambda calculus
-
ACM, Orlando, Florida, June
-
AJ Kfoury and JB Wells. A direct algorithm for type inference in the rank-2 fragment of the second-order lambda calculus. In ACM Symposium on Lisp and Functional Programming, pages 196-207. ACM, Orlando, Florida, June 1994.
-
(1994)
ACM Symposium on Lisp and Functional Programming
, pp. 196-207
-
-
Kfoury, A.J.1
Wells, J.B.2
-
9
-
-
1142287637
-
MLF: Raising ML to the power of System F
-
Uppsala, Sweden, September, ACM
-
D Le Botlan and D Rémy. MLF: raising ML to the power of System F. In ACM SIGPLAN International Conference on Functional Programming (ICFP'03), pages 27-38, Uppsala, Sweden, September 2003. ACM.
-
(2003)
ACM SIGPLAN International Conference on Functional Programming (ICFP'03)
, pp. 27-38
-
-
Le Botlan, D.1
Rémy, D.2
-
10
-
-
0032108250
-
Proofs about a folklore letpolymorphic type inference algorithm
-
July
-
Oukseh Lee and Kwangkeun Yi. Proofs about a folklore letpolymorphic type inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):707-723, July 1998.
-
(1998)
ACM Transactions on Programming Languages and Systems
, vol.20
, Issue.4
, pp. 707-723
-
-
Lee, O.1
Yi, K.2
-
11
-
-
84860220986
-
-
Daan Leijen and Andres Lh. Qualified types for MLF. In ICFP05 [5], pages 144-155.
-
Daan Leijen and Andres Lh. Qualified types for MLF. In ICFP05 [5], pages 144-155.
-
-
-
-
12
-
-
85031901612
-
Dynamics in ML
-
RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture FPCA'91, of, Boston, Springer Verlag
-
X Leroy and M Mauny. Dynamics in ML. In RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lecture Notes in Computer Science, Boston, 1991. Springer Verlag.
-
(1991)
Lecture Notes in Computer Science
, vol.523
-
-
Leroy, X.1
Mauny, M.2
-
13
-
-
0018105622
-
A theory of type polymorphism in programming
-
December
-
R Milner. A theory of type polymorphism in programming. JCSS, 13(3), December 1978.
-
(1978)
JCSS
, vol.13
, Issue.3
-
-
Milner, R.1
-
14
-
-
0021218450
-
Coercion and type inference
-
January
-
JC Mitchell. Coercion and type inference. In ACM POPL, pages 175-185. January 1984.
-
(1984)
ACM POPL
, pp. 175-185
-
-
Mitchell, J.C.1
-
15
-
-
0029703265
-
Putting type annotations to work
-
ACM, St Petersburg Beach, Florida, January
-
M Odersky and K Läufer. Putting type annotations to work. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), pages 54-67. ACM, St Petersburg Beach, Florida, January 1996.
-
(1996)
23rd ACM Symposium on Principles of Programming Languages (POPL'96)
, pp. 54-67
-
-
Odersky, M.1
Läufer, K.2
-
17
-
-
34247182194
-
-
The implementation of practical functional programming languages. Ph.D. thesis, Imperial College, London
-
N Perry. The implementation of practical functional programming languages. Ph.D. thesis, Imperial College, London, 1991.
-
(1991)
-
-
Perry, N.1
-
18
-
-
34247281139
-
Simple unification-based type inference for GADTs
-
Portland, Oregon, ACM Press
-
Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Simple unification-based type inference for GADTs. In ACM SIGPLAN International Conference, on Functional Programming (ICFP'06), Portland, Oregon, 2006. ACM Press.
-
(2006)
ACM SIGPLAN International Conference, on Functional Programming (ICFP'06)
-
-
Peyton Jones, S.1
Vytiniotis, D.2
Weirich, S.3
Washburn, G.4
-
20
-
-
33745213474
-
The essence of ML type inference
-
Benjamin C. Pierce, editor, chapter 10, MIT Press
-
François Pottier and Didier Rémy. The essence of ML type inference. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 10, pages 389-489. MIT Press, 2005.
-
(2005)
Advanced Topics in Types and Programming Languages
, pp. 389-489
-
-
Pottier, F.1
Rémy, D.2
-
21
-
-
33750420095
-
-
Didier Rémy. Simple, partial type inference for System F, based on type containment. In ICFP05 [5], pages 130-143.
-
Didier Rémy. Simple, partial type inference for System F, based on type containment. In ICFP05 [5], pages 130-143.
-
-
-
-
22
-
-
4444256167
-
Sexy types in action
-
May
-
Ken Shan. Sexy types in action. SIGPLAN Notices, 39(5): 15-22, May 2004.
-
(2004)
SIGPLAN Notices
, vol.39
, Issue.5
, pp. 15-22
-
-
Shan, K.1
-
24
-
-
0029720098
-
TIL: A type-directed optimizing compiler for ML
-
ACM, Philadelphia, May
-
D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, and P Lee. TIL: A type-directed optimizing compiler for ML. In ACM Conference on Programming Languages Design and Implementation (PLDI'96), pages 181-192. ACM, Philadelphia, May 1996.
-
(1996)
ACM Conference on Programming Languages Design and Implementation (PLDI'96)
, pp. 181-192
-
-
Tarditi, D.1
Morrisett, G.2
Cheng, P.3
Stone, C.4
Harper, R.5
Lee, P.6
-
26
-
-
34247181325
-
-
Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Boxy type inference for higher-rank types and impredicativity, Technical Appendix. Technical Report MS-CIS-05-23, University of Pennsylvania, April 2006.
-
Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Boxy type inference for higher-rank types and impredicativity, Technical Appendix. Technical Report MS-CIS-05-23, University of Pennsylvania, April 2006.
-
-
-
|