-
1
-
-
57049163112
-
Simula Begin
-
Goch, FRG, Chartwell-Bratt Ltd Kent, England
-
Birtwistle, G.M., Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula Begin. Studentlitteratur (Lund, Sweden), Bratt Institut fuer neues Lernen (Goch, FRG), Chartwell-Bratt Ltd (Kent, England) (1979)
-
(1979)
Studentlitteratur (Lund, Sweden), Bratt Institut fuer neues Lernen
-
-
Birtwistle, G.M.1
Dahl, O.-J.2
Myhrhaug, B.3
Nygaard, K.4
-
2
-
-
17044399230
-
-
Chakravarty, M.M.T., Keller, G., Jones, S.L.P., Marlow, S.: Associated types with class. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 1-13. ACM Press, New York (2005)
-
Chakravarty, M.M.T., Keller, G., Jones, S.L.P., Marlow, S.: Associated types with class. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 1-13. ACM Press, New York (2005)
-
-
-
-
3
-
-
17044413421
-
-
Coquand, T., Pollack, R., Takeyama, M.: A logical framework with dependently typed records. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, 2701, pp. 105-119. Springer, Heidelberg (2003)
-
Coquand, T., Pollack, R., Takeyama, M.: A logical framework with dependently typed records. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, vol. 2701, pp. 105-119. Springer, Heidelberg (2003)
-
-
-
-
4
-
-
85027597145
-
-
Damas, L., Milner, R.: Principal type schemes for functional programs. In: POPL, Albuquerque, New, Mexico, pp. 207-212 (1982)
-
Damas, L., Milner, R.: Principal type schemes for functional programs. In: POPL, Albuquerque, New, Mexico, pp. 207-212 (1982)
-
-
-
-
5
-
-
0036949281
-
-
Grégoire, B., Leroy, X.: A compiled implementation of strong reduction. In: ICFP 2002, pp. 235-246. ACM Press, New York (2002)
-
Grégoire, B., Leroy, X.: A compiled implementation of strong reduction. In: ICFP 2002, pp. 235-246. ACM Press, New York (2002)
-
-
-
-
6
-
-
38049174933
-
Constructive Type Classes in Isabelle
-
Altenkirch, T, McBride, C, eds, TYPES 2006, Springer, Heidelberg
-
Haftmann, F., Wenzel, M.: Constructive Type Classes in Isabelle. In: Altenkirch, T., McBride, C. (eds.) TYPES 2006. LNCS, vol. 4502, pp. 160-174. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4502
, pp. 160-174
-
-
Haftmann, F.1
Wenzel, M.2
-
7
-
-
26844476419
-
-
Huffman, B., Matthews, J., White, P.: Axiomatic Constructor Classes in Isabelle/HOLCF. In: Kurd, J., Melham, T. (eds.) TPHOLs 2005. LNCS, 3603, pp. 147-162. Springer, Heidelberg (2005)
-
Huffman, B., Matthews, J., White, P.: Axiomatic Constructor Classes in Isabelle/HOLCF. In: Kurd, J., Melham, T. (eds.) TPHOLs 2005. LNCS, vol. 3603, pp. 147-162. Springer, Heidelberg (2005)
-
-
-
-
8
-
-
84947265273
-
Type classes with functional dependencies
-
Smolka, G, ed, ESOP 2000 and ETAPS 2000, Springer, Heidelberg
-
Jones, M.P.: Type classes with functional dependencies. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol. 1782, pp. 230-244. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1782
, pp. 230-244
-
-
Jones, M.P.1
-
9
-
-
57049149165
-
Named instances for haskell type classes
-
Hinze, R, ed, A Comparative Study of Very Large Data Bases, Springer, Heidelberg
-
Kahl, W., Scheffczyk, J.: Named instances for haskell type classes. In: Hinze, R. (ed.) A Comparative Study of Very Large Data Bases. LNCS, vol. 59. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.59
-
-
Kahl, W.1
Scheffczyk, J.2
-
10
-
-
84957800052
-
-
Kammüller, F., Wenzel, M., Paulson, L.C.: Locales - A Sectioning Concept for Isabelle. In: Bertot, Y., Dowek, G., Hirschowitz, A., Paulin, C., Théry, L. (eds.) TPHOLs 1999. LNCS, 1690, pp. 149-166. Springer, Heidelberg (1999)
-
Kammüller, F., Wenzel, M., Paulson, L.C.: Locales - A Sectioning Concept for Isabelle. In: Bertot, Y., Dowek, G., Hirschowitz, A., Paulin, C., Théry, L. (eds.) TPHOLs 1999. LNCS, vol. 1690, pp. 149-166. Springer, Heidelberg (1999)
-
-
-
-
13
-
-
84949189457
-
-
Pollack, R.: Dependently typed records for representing mathematical structure. In: Aagaard, M.D., Harrison, J. (eds.) TPHOLs 2000. LNCS, 1869, pp. 462-479. Springer, Heidelberg (2000)
-
Pollack, R.: Dependently typed records for representing mathematical structure. In: Aagaard, M.D., Harrison, J. (eds.) TPHOLs 2000. LNCS, vol. 1869, pp. 462-479. Springer, Heidelberg (2000)
-
-
-
-
14
-
-
0030645142
-
Typing algorithm in type theory with inheritance
-
Paris, France, January 15-17, ACM Press, New York
-
Saïbi, A.: Typing algorithm in type theory with inheritance. In: POPL, La Sorbonne, Paris, France, January 15-17, 1997, pp. 292-301. ACM Press, New York (1997)
-
(1997)
POPL, La Sorbonne
, pp. 292-301
-
-
Saïbi, A.1
-
15
-
-
38049160746
-
Subset coercions in Coq
-
Altenkirch, T, McBride, C, eds, TYPES 2006, Springer, Heidelberg
-
Sozeau, M.: Subset coercions in Coq. In: Altenkirch, T., McBride, C. (eds.) TYPES 2006. LNCS, vol. 4502, pp. 237-252. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4502
, pp. 237-252
-
-
Sozeau, M.1
-
16
-
-
57049148600
-
-
The Coq Development Team. The Coq Proof Assistant Reference Manual - Version V8.1 (July 2006), http://coq.inria.fr
-
The Coq Development Team. The Coq Proof Assistant Reference Manual - Version V8.1 (July 2006), http://coq.inria.fr
-
-
-
-
17
-
-
0024864871
-
-
Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad hoc. In: POPL, Austin, Texas, pp. 60-76 (1989)
-
Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad hoc. In: POPL, Austin, Texas, pp. 60-76 (1989)
-
-
-
-
18
-
-
84949648890
-
-
Wenzel, M.: Type classes and overloading in higher-order logic. In: Gunter, E.L., Felty, A.P. (eds.) TPHOLs 1997. LNCS, 1275, pp. 307-322. Springer, Heidelberg (1997)
-
Wenzel, M.: Type classes and overloading in higher-order logic. In: Gunter, E.L., Felty, A.P. (eds.) TPHOLs 1997. LNCS, vol. 1275, pp. 307-322. Springer, Heidelberg (1997)
-
-
-
-
19
-
-
36849016360
-
Isabelle/isar
-
Wiedijk, F, ed, The Seventeen Provers of the World, Springer, Heidelberg
-
Wenzel, M., Paulson, L.: Isabelle/isar. In: Wiedijk, F. (ed.) The Seventeen Provers of the World. LNCS (LNAI), vol. 3600, pp. 41-49. Springer, Heidelberg (2006)
-
(2006)
LNCS (LNAI
, vol.3600
, pp. 41-49
-
-
Wenzel, M.1
Paulson, L.2
|