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

Linear Logic Programming
Recorded at:

by Chris Martens on Feb 03, 2014 |
39:27

Summary
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.

Bio

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
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT