메뉴 건너뛰기




Volumn 38, Issue 3, 2003, Pages 26-37

Scrap your boilerplate: A practical design pattern for generic programming

Author keywords

Generic programming; Rank 2 types; Traversal; Type cast

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; DATA STRUCTURES; SOFTWARE ENGINEERING;

EID: 1442337911     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/640136.604179     Document Type: Article
Times cited : (37)

References (38)
  • 3
    • 0033423865 scopus 로고    scopus 로고
    • De Bruijn notation as a nested datatype
    • Jan.
    • R. Bird and R. Paterson. De Bruijn notation as a nested datatype. Journal of Functional Programming, 9(1):77-91, Jan. 1999.
    • (1999) Journal of Functional Programming , vol.9 , Issue.1 , pp. 77-91
    • Bird, R.1    Paterson, R.2
  • 4
    • 35248874841 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 12
    • 0141665948 scopus 로고
    • 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
  • 16
    • 38249011301 scopus 로고
    • 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
  • 20
    • 0141777883 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 27
    • 0141665953 scopus 로고
    • 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
  • 29
    • 0027795818 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


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