15-816 Linear Logic

Languages

Throughout the semester, we are likely to experiment with various languages and implementations. These will be indexed here as they become available.


[ home | schedule | assignments | languages | handouts | overview | links ]


Frank Pfenning
fp@cs