412 search results - page 7 / 83 » Innovations in computational type theory using Nuprl |
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Instead of computer games, animations, cartoons, and videos being used only for entertainment by kids, there is now an interest in using multimedia for “innovative testing.” R...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
FP
1995
13 years 11 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
IADIS
2004
13 years 9 months ago
2004
Interactive entertainment and specifically computer games has grown into a multi-billion industry in the last few years and continues to grow. This expansion has fueled a number o...
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...