KML

by Karl Crary
1995-1996

I will be speaking about my programming language KML, which has evolved out of my research into type theories with subtyping. I will discuss the type system of KML and also discuss some implementational issues.

PRL Home
Introduction
The Nuprl book
Origins of the PRL Project
Goals
Dynamics of the Project
Mathematical Expression in Nuprl
Cross Links to Math & CS Fields

Knowledge Base
Math Library
Publications
Projects
CRASH
Nuprl/FDL System
EventML Software
Seminar

People
Wiki
The Book
Lectures
Other Groups

KML

by Karl Crary 1995-1996

by Karl Crary
1995-1996