Typed Contracts for Functional Programming

Ítems similars

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