Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
Book
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scientists it provides a framework which brings together logic
and programming languages in a most elegant and fertile way: program
development and verification can proceed within a single system. Viewed
in a different way, type theory is a functional programming language with
some novel features, such as the totality of all its functions, its expressive
type system allowing functions whose result type depends upon the value
of its input, and sophisticated modules and abstract types whose interfaces
can contain logical assertions as well as signature information. A third
point of view emphasizes that programs (or functions) can be extracted
from proofs in the logic."
Real-time Traffic| Added | 07 Feb 2009 |
| Updated | 07 Feb 2009 |
| Authors | Simon Thompson |
Comments (0)
Researcher Info
|
From Researcher
