When & Where: 12:00pm, Monday, Sept 29, 2008, Room 500 AKW
Abstract:
CLF (Concurrent LF) is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security protocol analysis, process algebras, concurrency theory and logics. Celf is an implementation of the CLF type theory that extends the LF type theory by linear types to support representation of state and a monad to support representation of concurrency.