Ready for InfoQ 3.0? Try the new design and let us know what you think!

You are now in FULL VIEW

Linear Logic Programming
Recorded at:

| by Chris Martens Follow 0 Followers on Feb 03, 2014 |

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.

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.