SPAM Talk: Celf: An implementation of the concurrent logical framework CLF

Speaker: Carsten Schürmann

When & Where: 12:00pm, Monday, Sept 29, 2008, Room 500 AKW


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.