PDF Document

Source URL: ir.library.oregonstate.edu

• Type theory
• Data types
• Functional programming
• Darcs
• Generalized algebraic data type
• Haskell
• Type system
• David Roundy
• Software bug
• Software engineering
• Computing
• Computer programming