Typed Contracts for Functional Programming

Eitemau Tebyg

• Type−indexed Data Types
  gan: Hinze, R, et al.
  Cyhoeddwyd: (2002)
• Type−indexed data types
  gan: Hinze, R, et al.
  Cyhoeddwyd: (2002)
• Type−indexed data types
  gan: Hinze, R, et al.
  Cyhoeddwyd: (2004)
• Comparing Approaches to Generic Programming in Haskell
  gan: Hinze, R, et al.
  Cyhoeddwyd: (2007)
• Functional Pearl: Weaving a web
  gan: Hinze, R, et al.
  Cyhoeddwyd: (2001)