Type Theory and Functional Programming

Name: Type Theory and Functional Programming
Author: Simon Thompson, Computing Laboratory, University of Kent

Author / Organization: Simon Thompson, Computing Laboratory, University of Kent

Programming Languages Theory 378 Pages Verification Pending

Overview & Synopsis

This PDF covers the following topics related to
Programming Languages Theory : Introduction to Logic, Functional Programming and
&

Indexed from repository: FreeBookCentre (freebookcentre.net)

Document Title	Type Theory and Functional Programming
Author / Organization	Simon Thompson, Computing Laboratory, University of Kent
Categories	Programming Languages Theory
Resource Verification	Listed PDF (Verification Pending)
Original Host Website	FreeBookCentre (`freebookcentre.net`)
File Format	application/pdf (Portable Document Format)
Page Count	378 pages
Language	EN
Catalog ID	`DOC-309884`
Original Source Link	Visit Source Page on freebookcentre.net »