On Modeling Ensemble

by Robert L. Constable, Jason Hickey
1998-1999

Jason and I will give parts of our upcoming DARPA talk on using IO Automata to model Ensemble stacks. Jason will talk about his work with Mark Bickford. I will remind us about intersction types and dependent records and describe progress on the DARPA grant so far.

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

On Modeling Ensemble

by Robert L. Constable, Jason Hickey 1998-1999

by Robert L. Constable, Jason Hickey
1998-1999