Typed Contracts for Functional Programming

Míreanna comhchosúla

• Type−indexed Data Types
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2002)
• Type−indexed data types
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2002)
• Type−indexed data types
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2004)
• Comparing Approaches to Generic Programming in Haskell
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2007)
• Functional Pearl: Weaving a web
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2001)