Mar 28, 2024  
2009-2010 UMass Dartmouth Undergraduate Catalog 
    
2009-2010 UMass Dartmouth Undergraduate Catalog [Archived Catalog]

CIS 526 - Functional Programming and Type Theory

3 credits
Prerequisites: CIS 360 or equivalent, or permission of instructor
Introduction to logic, type theory, and the lambda calculus. The course examines LISP as a first application of these ideas, consistency proofs using cut elimination and type theory, and constructive type of theory in functional programming languages in attempts to achieve program verification and automatic code generation.