-
2
-
-
74049112161
-
-
To appear in JFP
-
Arbiser, A., Miquel, A., Ríos, A.: The lambda-calculus with constructors: Syntax, confluence and separation. To appear in JFP (2009)
-
(2009)
The lambda-calculus with constructors: Syntax, confluence and separation
-
-
Arbiser, A.1
Miquel, A.2
Ríos, A.3
-
4
-
-
0037967695
-
-
Barthe, G., Cirstea, H., Kirchner, C., Liquori, L.: Pure patterns type systems. In: POPL, pp. 250-261 (2003)
-
Barthe, G., Cirstea, H., Kirchner, C., Liquori, L.: Pure patterns type systems. In: POPL, pp. 250-261 (2003)
-
-
-
-
5
-
-
33845962593
-
Coq'Art: The Calculus of Inductive Constructions
-
Computer Science, EATCS
-
Bertot, Y., Castéran, P.: Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, vol. 25. EATCS (2004)
-
(2004)
Texts in Theoretical
, vol.25
-
-
Bertot, Y.1
Castéran, P.2
-
8
-
-
84945290680
-
The rho cube
-
Honsell, F, Miculan, M, eds, FOSSACS 2001, Springer, Heidelberg
-
Cirstea, H., Kirchner, C., Liquori, L.: The rho cube. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol. 2030, pp. 168-183. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2030
, pp. 168-183
-
-
Cirstea, H.1
Kirchner, C.2
Liquori, L.3
-
9
-
-
0005500880
-
Locus solum: From the rules of logic to the logic of rules
-
Girard, J.-Y.: Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science 11(3), 301-506 (2001)
-
(2001)
Mathematical Structures in Computer Science
, vol.11
, Issue.3
, pp. 301-506
-
-
Girard, J.-Y.1
-
10
-
-
0003432047
-
-
Cambridge University Press, Cambridge
-
Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge University Press, Cambridge (1989)
-
(1989)
Proofs and Types
-
-
Girard, J.-Y.1
Lafont, Y.2
Taylor, P.3
-
11
-
-
84969385445
-
-
Hudak, P, Peyton-Jones, S, Wadler, P, Report on the programming language Haskell, a non-strict, purely functional language (Version 1.2, Sigplan Notices 1992
-
Hudak, P., Peyton-Jones, S., Wadler, P.: Report on the programming language Haskell, a non-strict, purely functional language (Version 1.2). Sigplan Notices (1992)
-
-
-
-
13
-
-
33745777191
-
-
Jay, C.B., Kesner, D.: Pure pattern calculus. In: Sestoft, P. (ed.) ESOP 2006. LNCS, 3924, pp. 100-114. Springer, Heidelberg (2006)
-
Jay, C.B., Kesner, D.: Pure pattern calculus. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 100-114. Springer, Heidelberg (2006)
-
-
-
-
15
-
-
0003444157
-
-
MIT Press, Cambridge
-
Milner, R., Tofte, M., Harper, R.: The definition of Standard ML. MIT Press, Cambridge (1990)
-
(1990)
The definition of Standard ML
-
-
Milner, R.1
Tofte, M.2
Harper, R.3
-
16
-
-
0023965762
-
Polymorphic type inference and containment
-
Mitchell, J.C.: Polymorphic type inference and containment. Inf. Comput. 76(2/3), 211-249 (1988)
-
(1988)
Inf. Comput
, vol.76
, Issue.2-3
, pp. 211-249
-
-
Mitchell, J.C.1
-
17
-
-
37249091366
-
On the stability by union of reducibility candidates
-
Seidl, H, ed, FOSSACS 2007, Springer, Heidelberg
-
Riba, C.: On the stability by union of reducibility candidates. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol. 4423, pp. 317-331. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4423
, pp. 317-331
-
-
Riba, C.1
-
18
-
-
1242286270
-
-
Cambridge Tracts in Theoretical Computer Science
-
Terese. Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science (2003)
-
(2003)
Term Rewriting Systems
-
-
Terese1
|