Differences

This shows you the differences between two versions of the page.

b621-assignment-13 [2012/04/10 17:34]
cswords
b621-assignment-13 [2012/04/10 17:36] (current)
cswords
Line 1: Line 1:
====== Assignment 13 ====== ====== Assignment 13 ======
-Consider [[ckanren]]. Write a type inferencer in miniKanren (see Chapter 7 of  [[http://www.amazon.com/Functional-Programming-International-Computer-Science/dp/0201192497|Field & Harrison's Functional Programming]]), including standard lambda calculus types //and// __let polymorphism__.+Write a type inferencer in miniKanren (or cKanren) that runs both forwards and backwards (see Chapter 7 of  [[http://www.amazon.com/Functional-Programming-International-Computer-Science/dp/0201192497|Field & Harrison's Functional Programming]]). Include standard lambda calculus types //and// __let polymorphism__.
 

b621-assignment-13.txt · Last modified: 2012/04/10 17:36 by cswords