Type-correct changes — a safe approach to version control implementation

[1]  Alexandra Silva,et al.  Strong types for relational databases , 2006, Haskell '06.

[2]  Conor McBride.  Faking it: Simulating dependent types in Haskell , 2002, J. Funct. Program..

[3]  Simon Yuill.  Concurrent Versions System , 2008 .

[4]  Scott F. Smith,et al.  Static enforcement of security with types , 2000, ICFP '00.

[5]  Simon L. Peyton Jones,et al.  Practical type inference for arbitrary-rank types , 2007, Journal of Functional Programming.

[6]  Chung-chieh Shan.  Sexy types in action , 2004, SIGP.

[7]  Ralf Hinze,et al.  Manufacturing datatypes , 2001, J. Funct. Program..

[8]  Gang Chen,et al.  Guarded recursive datatype constructors , 2003, POPL '03.

[9]  Andrew Kennedy,et al.  Generalized algebraic data types and object-oriented programming , 2005, OOPSLA '05.

[10]  Ralf Lämmel,et al.  Strongly typed heterogeneous collections , 2004, Haskell '04.

[11]  J. Rotman.  Advanced Modern Algebra , 2002 .

[12]  Frank Pfenning,et al.  Eliminating array bound checking through dependent types , 1998, PLDI.

[13]  STEFAN KAHRS.  Red-black trees with types , 2001, J. Funct. Program..

[14]  Stefan Monnier,et al.  A type-preserving compiler in Haskell , 2008, ICFP 2008.

[15]  S. Doaitse Swierstra,et al.  Typing dynamic typing , 2002, ICFP '02.

[16]  Simon L. Peyton Jones,et al.  Boxy types: inference for higher-rank types and impredicativity , 2006, ICFP '06.

[17]  James McKinna,et al.  Why dependent types matter , 2006, POPL '06.

[18]  Chung-chieh Shan,et al.  Lightweight Static Capabilities , 2007, PLPV@IJCAR.

[19]  Frederik Eaton,et al.  Statically typed linear algebra in Haskell , 2006, Haskell '06.

[20]  Tim Sheard,et al.  Putting curry-howard to work , 2005, Haskell '05.

[21]  Mark P. Jones,et al.  Type Classes with Functional Dependencies , 2000, ESOP.