-
1
-
-
84976752728
-
Dynamic typing in a statically-typed language
-
M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically-typed language. Transactions on Programming Languages and Systems, 13(2), 1991.
-
(1991)
Transactions on Programming Languages and Systems
, vol.13
, Issue.2
-
-
Abadi, M.1
Cardelli, L.2
Pierce, B.3
Plotkin, G.4
-
2
-
-
34247186047
-
The Alice System
-
Alice Team, Universität des Saarlandes
-
Alice Team. The Alice System. Programming System Lab, Universität des Saarlandes, http://www.ps.un-sb.de/alica/, 2003.
-
(2003)
Programming System Lab
-
-
-
5
-
-
0025208440
-
Functorial polymorphism
-
E. Bainbridge, P. Freyd, A. Scedrov, and P. Scott. Functorial polymorphism. Theoretical Computer Science, 70(1), 1989.
-
(1989)
Theoretical Computer Science
, vol.70
, Issue.1
-
-
Bainbridge, E.1
Freyd, P.2
Scedrov, A.3
Scott, P.4
-
6
-
-
1142299746
-
Dynamic rebinding for marshalling and update, with destruct-time lambda
-
G. Bierman, M. Hicks, P. Sewell, G. Stoyle, and K. Wansbrough. Dynamic rebinding for marshalling and update, with destruct-time lambda. In Proc. 8th International Conference on Functional Programming, 2003.
-
(2003)
Proc. 8th International Conference on Functional Programming
-
-
Bierman, G.1
Hicks, M.2
Sewell, P.3
Stoyle, G.4
Wansbrough, K.5
-
10
-
-
0037629421
-
-
D. Dreyer, K. Crary, and R. Harper. A type system for higher-order modules. In Proc. 30th Symposium on Principles of Programming Languages, 2003. Expanded version available as CMU Technical Report CMU-CS-02-122R.
-
D. Dreyer, K. Crary, and R. Harper. A type system for higher-order modules. In Proc. 30th Symposium on Principles of Programming Languages, 2003. Expanded version available as CMU Technical Report CMU-CS-02-122R.
-
-
-
-
11
-
-
0007689396
-
A higher-order module discipline with separate compilation, dynamic linking, and pickling
-
Technical report, Universität des Saarlandes
-
D. Duchier. L. Kornstaedt, C. Schulte, and G. Smolka. A higher-order module discipline with separate compilation, dynamic linking, and pickling. Technical report, Universität des Saarlandes, 1998.
-
(1998)
-
-
Duchier, D.1
Kornstaedt, L.2
Schulte, C.3
Smolka, G.4
-
22
-
-
70450218708
-
-
École Polytechnique Fédérale de Lausanne
-
M. Odersky. Programming in Scala. École Polytechnique Fédérale de Lausanne, 2005.
-
(2005)
Programming in Scala
-
-
Odersky, M.1
-
23
-
-
84957677402
-
First class file I/O
-
of, Springer-Verlag
-
M. Pil. First class file I/O. volume 1268 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1268
-
-
Pil, M.1
-
24
-
-
0000278953
-
Types, abstraction and parametric polymorphism
-
North Holland
-
J. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing. North Holland, 1983.
-
(1983)
Information Processing
-
-
Reynolds, J.1
-
26
-
-
33644880938
-
The definition of Standard ML with packages
-
Technical report, Universität des Saarlandes
-
A. Rossberg. The definition of Standard ML with packages. Technical report, Universität des Saarlandes, 2005. www.ps.uni-sb.de/Papers.
-
(2005)
-
-
Rossberg, A.1
-
27
-
-
33750411533
-
The Missing Link - Dynamic Components for ML (extended)
-
Technical report, Universität des Saarlandes
-
A. Rossberg. The Missing Link - Dynamic Components for ML (extended). Technical report, Universität des Saarlandes, 2006.
-
(2006)
-
-
Rossberg, A.1
-
28
-
-
33847794130
-
Alice ML through the looking glass
-
Intellect
-
A. Rossberg, D. Le Botlan, G. Tack, T. Brunklaus, and G. Smolka. Alice ML through the looking glass. In Trends in Functional Programming, volume 5. Intellect, 2006.
-
(2006)
Trends in Functional Programming
, vol.5
-
-
Rossberg, A.1
Le Botlan, D.2
Tack, G.3
Brunklaus, T.4
Smolka, G.5
-
30
-
-
84876779157
-
Acute: High-level programming language design for distributed computation
-
P. Sewell, J. Leifer, K. Wansbrough, F. Z. Nardelli, M. Allen-Williams, P. Habouzit, and V. Vafeiadis. Acute: high-level programming language design for distributed computation. In 10th International Conference on Funcitonal Programming, 2005.
-
(2005)
10th International Conference on Funcitonal Programming
-
-
Sewell, P.1
Leifer, J.2
Wansbrough, K.3
Nardelli, F.Z.4
Allen-Williams, M.5
Habouzit, P.6
Vafeiadis, V.7
-
31
-
-
77952726925
-
The Oz programming model
-
Computer Science. Today, of, Springer
-
G. Smolka. The Oz programming model. In Computer Science. Today, volume 1000 of Lecture Notes in Computer Science. Springer, 1995.
-
(1995)
Lecture Notes in Computer Science
, vol.1000
-
-
Smolka, G.1
-
32
-
-
33750424800
-
A separate compilation extension to standard ml
-
Technical Report CMU-CS-06-104, Carnegie Mellon University
-
D. Swasey, T. Murphy, K. Crary, and R. Harper. A separate compilation extension to standard ml. Technical Report CMU-CS-06-104, Carnegie Mellon University, 2006.
-
(2006)
-
-
Swasey, D.1
Murphy, T.2
Crary, K.3
Harper, R.4
-
33
-
-
84955562332
-
-
B. Thomsen, L. Leth, and T.-M. Kuo. A facile tutorial. In 7th International Conference on Concurrency Theory, 1119 of Lecture Notes in Computer Science, 1996.
-
B. Thomsen, L. Leth, and T.-M. Kuo. A facile tutorial. In 7th International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, 1996.
-
-
-
-
34
-
-
34247217408
-
-
P. Wadler. Theorems for tree! In D. MacQueen, editor, Proc. 4th International Conference on Functional Programming and Computer Architecture, 1989.
-
P. Wadler. Theorems for tree! In D. MacQueen, editor, Proc. 4th International Conference on Functional Programming and Computer Architecture, 1989.
-
-
-
|