CIS 526 - Functional Programming and Type Theory

Institution:

University of Massachusetts-Dartmouth

Subject:

Computer and Information Science

Description:

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.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.umassd.edu

Phone Number:

(508) 999-8000

Regional Accreditation:

New England Association of Schools and Colleges

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.