Typed Contracts for Functional Programming

Схожие документы

• Type−indexed Data Types
  по: Hinze, R, и др.
  Опубликовано: (2002)
• Type−indexed data types
  по: Hinze, R, и др.
  Опубликовано: (2002)
• Type−indexed data types
  по: Hinze, R, и др.
  Опубликовано: (2004)
• Comparing Approaches to Generic Programming in Haskell
  по: Hinze, R, и др.
  Опубликовано: (2007)
• Functional Pearl: Weaving a web
  по: Hinze, R, и др.
  Опубликовано: (2001)