메뉴 건너뛰기




Volumn , Issue , 2010, Pages 15-26

Arity-generic datatype-generic programming

Author keywords

Agda; Arity generic programming; Dependent types; Generic Haskell

Indexed keywords

DATA TYPE; DEPENDENT TYPES; GENERIC PROGRAMMING; GENERIC PROGRAMMING LANGUAGES; GENERICITY; HASKELL; PROGRAMMING LANGUAGE;

EID: 77950886216     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1707790.1707799     Document Type: Conference Paper
Times cited : (17)

References (29)
  • 2
    • 0842266468 scopus 로고    scopus 로고
    • Universes for generic programs and proofs in dependent type theory
    • Marcin Benke, Peter Dybjer, and Patrik Jansson. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing, 10(4):265-289, 2003.
    • (2003) Nordic Journal of Computing , vol.10 , Issue.4 , pp. 265-289
    • Benke, M.1    Dybjer, P.2    Jansson, P.3
  • 10
    • 33747177082 scopus 로고    scopus 로고
    • Generics for the masses
    • Ralf Hinze. Generics for the masses. Journal of Functional Programming, 16(4-5):451-483, 2006.
    • (2006) Journal of Functional Programming , vol.16 , Issue.4-5 , pp. 451-483
    • Hinze, R.1
  • 11
    • 0036568688 scopus 로고    scopus 로고
    • Polytypic values possess polykinded types
    • MPC Special Issue
    • Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43(2-3):129-159, 2002. MPC Special Issue.
    • (2002) Science of Computer Programming , vol.43 , Issue.2-3 , pp. 129-159
    • Hinze, R.1
  • 12
    • 0142188058 scopus 로고    scopus 로고
    • Generic Haskell: Practice and theory
    • Roland Backhouse and Jeremy Gibbons, editors, of Lecture Notes in Computer Science Springer-Verlag
    • Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, Advanced Lectures, volume 2793 of Lecture Notes in Computer Science, pages 1-56. Springer-Verlag, 2003.
    • (2003) Generic Programming, Advanced Lectures , vol.2793 , pp. 1-56
    • Hinze, R.1    Jeuring, J.2
  • 14
    • 0036059721 scopus 로고    scopus 로고
    • Faking it: Simulating dependent types in haskell
    • Conor McBride. Faking it: Simulating dependent types in haskell. Journal of Functional Programming, 12(5):375-392, 2002.
    • (2002) Journal of Functional Programming , vol.12 , Issue.5 , pp. 375-392
    • McBride, C.1
  • 19
    • 70149084051 scopus 로고    scopus 로고
    • PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden, September
    • Ulf Norell. Towards a practical programming language based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden, September 2007.
    • (2007) Towards a Practical Programming Language Based on Dependent Type Theory
    • Norell, U.1
  • 20
    • 0037241422 scopus 로고    scopus 로고
    • The Haskell 98 language and libraries: The revised report
    • Jan
    • Simon Peyton Jones et al. The Haskell 98 language and libraries: The revised report. Journal of Functional Programming, 13(1):0-255, Jan 2003. http://www.haskell.org/definition/.
    • (2003) Journal of Functional Programming , vol.13 , Issue.1 , pp. 0-255
    • Peyton Jones, S.1
  • 22
    • 77950804574 scopus 로고    scopus 로고
    • Generic programming programming in omega
    • Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, of Lecture Notes in Computer Science, Springer
    • Tim Sheard. Generic programming programming in omega. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Datatype-Generic Programming, volume 4719 of Lecture Notes in Computer Science, pages 258-284. Springer, 2006.
    • (2006) Datatype-Generic Programming , vol.4719 , pp. 258-284
    • Sheard, T.1
  • 25
    • 77957315441 scopus 로고    scopus 로고
    • The Coq Development Team
    • Version 8.1. LogiCal Project, Available from
    • The Coq Development Team. The Coq Proof Assistant Reference Manual, Version 8.1. LogiCal Project, 2006. Available from http://coq.inria.fr/V8.1beta/ refman/.
    • (2006) The Coq Proof Assistant Reference Manual
  • 28
    • 33750272381 scopus 로고    scopus 로고
    • Type-safe run-time polytypic programming
    • November
    • Stephanie Weirich. Type-safe run-time polytypic programming. Journal of Functional Programming, 16(10):681-710, November 2006.
    • (2006) Journal of Functional Programming , vol.16 , Issue.10 , pp. 681-710
    • Weirich, S.1
  • 29
    • 33750972603 scopus 로고    scopus 로고
    • RepLib: A library for derivable type classes
    • Portland, OR, USA, September
    • Stephanie Weirich. RepLib: A library for derivable type classes. In Haskell Workshop, pages 1-12, Portland, OR, USA, September 2006.
    • (2006) Haskell Workshop , pp. 1-12
    • Weirich, S.1


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