Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Linear Logic Programming

Linear Logic Programming



Chris Martens discusses how linear logic programming, via the logical framework and experimental programming language Celf, can be used to capture idioms related to state change and resource usage in a totally declarative fashion. Some possible example applications to be covered: state machines, narrative situations, interactive applications.


Chris Martens is a Ph.D. student at Carnegie Mellon studying logic and programming languages. Interested in using abstract ivory-tower concepts like type and proof theory for their ability to make high-level ideas quickly executable, she's also working on making those concepts available to creative domains like interactive media and games in addition to more conventional software systems.

About the conference

Strange Loop is a multi-disciplinary conference that aims to bring together the developers and thinkers building tomorrow's technology in fields such as emerging languages, alternative databases, concurrency, distributed systems, mobile development, and the web.

Recorded at:

Feb 03, 2014