-
1
-
-
0031611513
-
Cayenne - a language with dependent types
-
ACM SIGPLAN International Conference on Functional Programming (ICFP'98, 1) of, Baltimore, ACM
-
Lennart Augustsson. Cayenne - a language with dependent types. In ACM SIGPLAN International Conference on Functional Programming (ICFP'98), volume 34(1) of ACM SIGPLAN Notices, pages 239-250, Baltimore, 1998. ACM.
-
(1998)
ACM SIGPLAN Notices
, vol.34
, pp. 239-250
-
-
Augustsson, L.1
-
4
-
-
33750400047
-
Basic polymorphic typechecking
-
January
-
Luca Cardelli. Basic polymorphic typechecking. Polymorphism, 2(1), January 1985.
-
(1985)
Polymorphism
, vol.2
, Issue.1
-
-
Cardelli, L.1
-
7
-
-
0003266602
-
Inductive Sets and Families in Maitin-Lf's Type Theory
-
Grard Huet and Gordon Plotkin, editors, Cambridge University Press
-
Peter Dybjer. Inductive Sets and Families in Maitin-Lf's Type Theory. In Grard Huet and Gordon Plotkin, editors, Logical Frameworks. Cambridge University Press, 1991.
-
(1991)
Logical Frameworks
-
-
Dybjer, P.1
-
8
-
-
13344266569
-
Fun with phantom types
-
Jeremey Gibbons and, editors, Palgrave
-
Ralf Hinze. Fun with phantom types. In Jeremey Gibbons and Oege de Moor, editors, The fun of programming, pages 245-262. Palgrave, 2003.
-
(2003)
The fun of programming
, pp. 245-262
-
-
Hinze, R.1
-
12
-
-
0012523429
-
The design and implementation of Mondrian
-
John Launchbury, editor, Amsterdam, Netherlands
-
Erik Meijer and Koen Claessen. The design and implementation of Mondrian. In John Launchbury, editor, Haskell workshop, Amsterdam, Netherlands, 1997.
-
(1997)
Haskell workshop
-
-
Meijer, E.1
Claessen, K.2
-
14
-
-
34247186566
-
-
Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Microsoft Research, 2004.
-
Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Microsoft Research, 2004.
-
-
-
-
17
-
-
32144439042
-
Putting Curry-Howard to work
-
Tallinn, Estonia, September, ACM
-
Tim Sheard. Putting Curry-Howard to work. In Proceedings of ACM Workshop on Haskell, Tallinn, pages 74-85, Tallinn, Estonia, September 2005. ACM.
-
(2005)
Proceedings of ACM Workshop on Haskell, Tallinn
, pp. 74-85
-
-
Sheard, T.1
-
19
-
-
32144438571
-
Type inference for guarded recursive data types
-
Technical report, National University of Singapore
-
Peter Stuckey and Martin Sulzmann. Type inference for guarded recursive data types. Technical report, National University of Singapore, 2005.
-
(2005)
-
-
Stuckey, P.1
Sulzmann, M.2
-
21
-
-
33745867697
-
A framework for extended algebraic data types
-
Technical report, National University of Singapore
-
Martin Sulzmann, Jeremy Wazny, and Peter Stuckey. A framework for extended algebraic data types. Technical report, National University of Singapore, 2005.
-
(2005)
-
-
Sulzmann, M.1
Wazny, J.2
Stuckey, P.3
-
22
-
-
34247254416
-
Boxy type: Inference for higher-rank types and impredicativity
-
Portland, Oregon, ACM Press
-
Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Boxy type: Inference for higher-rank types and impredicativity. 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)
-
-
Vytiniotis, D.1
Weirich, S.2
Peyton Jones, S.3
-
23
-
-
34247250463
-
-
Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Simple unification-based type inference for GADTs, Technical Appendix. Technical Report MS-CIS-05-22, University of Pennsylvania, April 2006.
-
Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Simple unification-based type inference for GADTs, Technical Appendix. Technical Report MS-CIS-05-22, University of Pennsylvania, April 2006.
-
-
-
-
24
-
-
35048858250
-
Applied type system
-
Proceedings of TYPES 2003, of, Springer Verlag
-
Hongwei Xi. Applied type system. In Proceedings of TYPES 2003, volume 3085 of Lecture Notes in Computer Science, pages 394-408. Springer Verlag, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3085
, pp. 394-408
-
-
Xi, H.1
|