Typed Contracts for Functional Programming

Slični predmeti

• Type−indexed Data Types
  od: Hinze, R, i dr.
  Izdano: (2002)
• Type−indexed data types
  od: Hinze, R, i dr.
  Izdano: (2002)
• Type−indexed data types
  od: Hinze, R, i dr.
  Izdano: (2004)
• Comparing Approaches to Generic Programming in Haskell
  od: Hinze, R, i dr.
  Izdano: (2007)
• Functional Pearl: Weaving a web
  od: Hinze, R, i dr.
  Izdano: (2001)