Skip to main content
PRL Project

On Modeling Ensemble

by Robert L. Constable, Jason Hickey

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.