-
1
-
-
0024863421
-
Dynamic typing in a statically-typed language
-
Jan.
-
M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically-typed language. In 16th ACM Conference on Principles of Programming Languages, pages 213-227, Jan. 1989.
-
(1989)
16th ACM Conference on Principles of Programming Languages
, pp. 213-227
-
-
Abadi, M.1
Cardelli, L.2
Pierce, B.3
Plotkin, G.4
-
2
-
-
0039372961
-
Dynamic typing in polymorphic languages
-
San Francisco, June
-
M. Abadi, L. Cardelli, B. Pierce, and D. Remy. Dynamic typing in polymorphic languages. In Proceedings of the 1992 ACM Workshop on ML and its Applications, pages 92-103, San Francisco, June 1992.
-
(1992)
Proceedings of the 1992 ACM Workshop on ML and Its Applications
, pp. 92-103
-
-
Abadi, M.1
Cardelli, L.2
Pierce, B.3
Remy, D.4
-
4
-
-
35248874841
-
Generic Haskell, Specifically
-
In J. Gibbons and J. Jeuring, editors; Kluwer Academic Publishers; To appear
-
D. Clarke and A. Löh. Generic Haskell, Specifically. In J. Gibbons and J. Jeuring, editors, Proc. of the IFIP TC2 Working Conference on Generic Programming. Kluwer Academic Publishers, 2002. To appear.
-
(2002)
Proc. of the IFIP TC2 Working Conference on Generic Programming
-
-
Clarke, D.1
Löh, A.2
-
6
-
-
0027846318
-
A short cut to deforestation
-
ISBN 0-89791-595-X
-
A. Gill, J. Launchbury, and S. Peyon Jones. A short cut to deforestation. In FPCA93 [5], pages 223-232. ISBN 0-89791-595-X.
-
FPCA93 [5]
, pp. 223-232
-
-
Gill, A.1
Launchbury, J.2
Peyon Jones, S.3
-
9
-
-
0141777884
-
Dynamic type class casts proposal
-
Email to the haskell mailing list, Oct.
-
F. Henderson. Dynamic type class casts proposal. Email to the haskell mailing list, Oct. 1999.
-
(1999)
-
-
Henderson, F.1
-
10
-
-
0033722168
-
A new approach to generic functional programming
-
In T. Reps, editor; Jan.
-
R. Hinze. A New Approach to Generic Functional Programming. In T. Reps, editor, Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January 19-21, pages 119-132, Jan. 2000.
-
(2000)
Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January 19-21
, pp. 119-132
-
-
Hinze, R.1
-
11
-
-
0141777885
-
Derivable type classes
-
In G. Hutton, editor; number NOTTCS-TR-00-1 in Technical Reports, Sept.
-
R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the 2000 Haskell Workshop, Montreal, number NOTTCS-TR-00-1 in Technical Reports, Sept. 2000.
-
(2000)
Proceedings of the 2000 Haskell Workshop, Montreal
-
-
Hinze, R.1
Peyton Jones, S.2
-
12
-
-
0141665948
-
Phil's proposal for restricted type classes
-
Email to the haskell mailing list, June
-
P. Hudak. Phil's proposal for restricted type classes. Email to the haskell mailing list, June 1991.
-
(1991)
-
-
Hudak, P.1
-
15
-
-
84957550104
-
Polytypic programming
-
In J. Launchbury, E. Meijer, and T. Sheard, editors; Springer-Verlag, Berlin
-
J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, 2nd Int. School on Advanced Functional Programming, Olympia, WA, USA, 26-30 Aug 1996, volume 1129 of Lecture Notes in Computer Science, pages 68-114. Springer-Verlag, Berlin, 1996.
-
(1996)
2nd Int. School on Advanced Functional Programming, Olympia, WA, USA, 26-30 Aug 1996, Volume 1129 of Lecture Notes in Computer Science
, pp. 68-114
-
-
Jeuring, J.1
Jansson, P.2
-
16
-
-
38249011301
-
Type reconstruction in finite rank fragments of second-order lambda calculus
-
June
-
A. Kfoury. Type reconstruction in finite rank fragments of second-order lambda calculus. Information and Computation, 98(2):228-257, June 1992.
-
(1992)
Information and Computation
, vol.98
, Issue.2
, pp. 228-257
-
-
Kfoury, A.1
-
18
-
-
0141442904
-
Dealing with Large Bananas
-
In J. Jeuring, editor; July
-
R. Lämmel, J. Visser, and J. Kort. Dealing with Large Bananas. In J. Jeuring, editor, Proceedings of WGP'2000, Technical Report, Universiteit Utrecht, pages 46-59, July 2000.
-
(2000)
Proceedings of WGP'2000, Technical Report, Universiteit Utrecht
, pp. 46-59
-
-
Lämmel, R.1
Visser, J.2
Kort, J.3
-
20
-
-
0141777883
-
Dynamics in ML
-
In Hughes [13]
-
X. Leroy and M. Mauny. Dynamics in ML. In Hughes [13].
-
-
-
Leroy, X.1
Mauny, M.2
-
22
-
-
85014115727
-
Functional programming with bananas, lenses, envelopes, and barbed wire
-
In Hughes [13]
-
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Hughes [13], pages 124-144.
-
-
-
Meijer, E.1
Fokkinga, M.2
Paterson, R.3
-
23
-
-
84955609019
-
Merging monads and folds for functional programming
-
In J. Jeuring and E. Meijer, editors; Springer Verlag
-
E. Meijer and J. Jeuring. Merging Monads and Folds for Functional Programming. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science, pages 228-266. Springer Verlag, 1995.
-
(1995)
Advanced Functional Programming, Volume 925 of Lecture Notes in Computer Science
, pp. 228-266
-
-
Meijer, E.1
Jeuring, J.2
-
24
-
-
0029703265
-
Putting type annotations to work
-
ACM, St Petersburg Beach, Florida, Jan.
-
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, Jan. 1996.
-
(1996)
23rd ACM Symposium on Principles of Programming Languages (POPL'96)
, pp. 54-67
-
-
Odersky, M.1
Läufer, K.2
-
27
-
-
0141665953
-
Restricted overloading
-
Email to the fplangc mailing list, Dec.
-
S. Peyton Jones. Restricted overloading. Email to the fplangc mailing list, Dec. 1990.
-
(1990)
-
-
Peyton Jones, S.1
-
28
-
-
0034777576
-
Generic unification via Two-Level types and parameterized modules
-
Florence, Sept.; ACM
-
T. Sheard. Generic unification via Two-Level types and parameterized modules. In ACM SIGPLAN International Conference on Functional Programming (ICFP'01), volume 36, 10 of ACM SIGPLAN notices, pages 86-97, Florence, Sept. 2001. ACM.
-
(2001)
ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Volume 36, 10 of ACM SIGPLAN Notices
, pp. 86-97
-
-
Sheard, T.1
-
29
-
-
0027795818
-
A fold for all seasons
-
ISBN 0-89791-595-X
-
T. Sheard and L. Fegaras. A fold for all seasons. In FPCA93 [5], pages 233-242. ISBN 0-89791-595-X.
-
FPCA93 [5]
, pp. 233-242
-
-
Sheard, T.1
Fegaras, L.2
-
31
-
-
0141665952
-
Putting "putting type annotations to work" to work
-
In preparation
-
M. Shields and S. Peyton Jones. Putting "putting type annotations to work" to work. In preparation, 2002.
-
(2002)
-
-
Shields, M.1
Peyton Jones, S.2
-
32
-
-
1442263334
-
Designing and implementing combinator languages
-
In S. Swierstra, P. Henriques, and J. Oliveira, editors; Braga, Portugal, Sept.; Springer Verlag
-
S. Swierstra, P. Alcocer, and J. Saraiva. Designing and implementing combinator languages. In S. Swierstra, P. Henriques, and J. Oliveira, editors. Advanced Functional Programming, Third International School, AFP '98, volume 1608 of Lecture Notes in Computer Science, pages 150-206, Braga, Portugal, Sept. 1999. Springer Verlag.
-
(1999)
Advanced Functional Programming, Third International School, AFP '98, Volume 1608 of Lecture Notes in Computer Science
, pp. 150-206
-
-
Swierstra, S.1
Alcocer, P.2
Saraiva, J.3
-
33
-
-
0031606558
-
Building program optimizers with rewriting strategies
-
Baltimore; ACM
-
E. Visser, Z.e-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In ACM SIGPLAN International Conference on Functional Programming (ICFP'98), volume 34(1) of ACM SIGPLAN Notices, pages 13-26, Baltimore, 1998. ACM.
-
(1998)
ACM SIGPLAN International Conference on Functional Programming (ICFP'98), Volume 34(1) of ACM SIGPLAN Notices
, pp. 13-26
-
-
Visser, E.1
Benaissa, Z.E.-A.2
Tolmach, A.3
-
37
-
-
84957077404
-
Higher-order intentional type analysis
-
In D. L. Métayer, editor; Springer Verlag
-
S. Weirich. Higher-order intentional type analysis. In D. L. Métayer, editor, Programming Languages and Systems: 11th European Symposium on Programming (ESOP 2002), Grenoble, France, number 2305 in Lecture Notes in Computer Science, pages 98-113. Springer Verlag, 2002.
-
(2002)
Programming Languages and Systems: 11th European Symposium on Programming (ESOP 2002), Grenoble, France, Number 2305 in Lecture Notes in Computer Science
, pp. 98-114
-
-
Weirich, S.1
|