InfoQ Homepage Presentations Linear Logic Programming
Linear Logic Programming
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.
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.
Feb 03, 2014