BT
You are now in FULL VIEW
CLOSE FULL VIEW

Molog: Typed Functional Logic Programming in Haskell
Recorded at:

by Adam C. Foltzer on May 28, 2013 |
27:32

Summary
Adam C. Foltzer introduces Molog, a typed functional logic programming language written in Haskell.

Bio

Adam C. Foltzer is a life-long Schemer and current Haskeller who works in Research and Engineering at Galois, Inc. He learned relational programming from Professor Dan Friedman and Dr. Will Byrd while at Indiana University, and continues to work on it professionally and as a hobby.

The miniKanren Confo is a special 4 hour conference about logic programming (in particular miniKanren). Dan Friedman and Will Byrd (co-authors of the Reasoned Schemer) will provide a keynote. The list of sessions can be found on the Clojure/West site.

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