Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Lambda calculus / Proof theory / Dependently typed programming / Curry–Howard correspondence / Intuitionistic type theory / Combinatory logic / Natural deduction / Mathematics / Mathematical logic / Type theory


Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999
Add to Reading List

Document Date: 2012-11-02 09:24:49

Open Document

File Size: 1,22 MB

Share Result on Facebook

Company

Research Software Limited / Functional Programming Simon Thompson Computing Laboratory / /

Country

Brazil / /

Event

Bankruptcy / /

Facility

University of Kent / University of Kent March / Federal University of Pernambuco / /

IndustryTerm

potential applications / /

OperatingSystem

Macintosh / /

Organization

UFPE / University of Kent / Brazilian National Research Council / Federal University of Pernambuco / Recife / PREFACE Chapter / /

Person

Jane / Allan Grimley / Martin Henson / Preface Constructive / Duncan Langford / Simon Plumtree / Richard Jones / Simon Thompson / David Turner / Ian Utting / John Hughes / Alice / Tim Hopkins / Jerry Mead / /

Position

author / General / /

Product

Miranda / /

ProgrammingLanguage

LaTeX / /

PublishedMedium

the Theoretical Computer Science / /

Technology

functional programming / functional programming system / /

SocialTag