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)