A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes
暂无分享,去创建一个
[1] Patricia Johann,et al. Foundations for structured programming with GADTs , 2008, POPL '08.
[2] Simon L. Peyton Jones,et al. Complete and decidable type inference for GADTs , 2009, ICFP.
[3] Marinus J. Plasmeijer,et al. Lazy Dynamic Input/Output in the Lazy Functional Language Clean , 2002, IFL.
[4] Robert Cartwright,et al. The semantics of lazy (and industrious) evaluation , 1982, LFP '82.
[5] Martín Abadi,et al. Dynamic typing in polymorphic languages , 1995, Journal of Functional Programming.
[6] Martín Abadi,et al. Dynamic typing in a statically-typed language , 1989, POPL '89.
[7] S. Doaitse Swierstra,et al. Typing dynamic typing , 2002, ICFP '02.
[8] Simon L. Peyton Jones,et al. Simple unification-based type inference for GADTs , 2006, ICFP '06.
[9] Ralf Lämmel,et al. Strongly typed heterogeneous collections , 2004, Haskell '04.
[10] Marco Pil. Dynamic Types and Type Dependent Functions , 1998, IFL.
[11] Martin Odersky,et al. Polymorphic type inference and abstract data types , 1994, TOPL.
[12] James Cheney,et al. A lightweight implementation of generics and dynamics , 2002, Haskell '02.
[13] Marinus J. Plasmeijer,et al. The Ins and Outs of Clean I/O , 1995, J. Funct. Program..
[14] Gang Chen,et al. Guarded recursive datatype constructors , 2003, POPL '03.
[15] James Cheney,et al. First-Class Phantom Types , 2003 .