메뉴 건너뛰기




Volumn 5170 LNCS, Issue , 2008, Pages 278-293

First-class type classes

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; STRUCTURED PROGRAMMING;

EID: 57049099850     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71067-7_23     Document Type: Conference Paper
Times cited : (153)

References (19)
  • 2
    • 17044399230 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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)
  • 12
    • 63749095092 scopus 로고    scopus 로고
    • Generics of a higher kind
    • submitted
    • Moors, A., Piessens, F., Odersky, M.: Generics of a higher kind. In: ECOOP 2008 (submitted, 2008)
    • (2008) ECOOP
    • Moors, A.1    Piessens, F.2    Odersky, M.3
  • 13
    • 84949189457 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.