x Your opinion matters! Please fill in the InfoQ Survey about your reading habits!
You are now in FULL VIEW

Linear Logic Programming
Recorded at:

by Chris Martens 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.

General Feedback
Editorial and all content copyright © 2006-2014 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy