Type−indexed Data Types

Podobne zapisy

• Type−indexed data types
  od: Hinze, R, i wsp.
  Wydane: (2002)
• Type−indexed data types
  od: Hinze, R, i wsp.
  Wydane: (2004)
• Typed Contracts for Functional Programming
  od: Hinze, R, i wsp.
  Wydane: (2006)
• Open data types and open functions
  od: Löh, A, i wsp.
  Wydane: (2006)
• Open data types and open functions
  od: Hinze, R, i wsp.
  Wydane: (2006)