Posterous theme by Cory Watilo

dosync

Lisp, Logic & JavaScript

← Back to blog

Simple Type Inference For The Simply Typed Lambda Calculus in ~20 Lines

Edit
Delete
Tags
Autopost

Posted | Viewed

times

Filed under: clojure logic prolog types

Tweet

David Nolen

http://twitter.com/swannodette, http://nytimes.com, http://shiftspace.org

Subscribe via RSS

Archive

Tags

clojure (11)
javascript (6)
clojurescript (3)
performance (3)
core.logic (2)
logic (2)
minikanren (2)
oop (2)
pattern-matching (2)
protocols (2)
View all 29 tags ↓

scheme (2)
abstraction (1)
ckanren (1)
clp (1)
coffeescript (1)
compilers (1)
databases (1)
dynamism (1)
fork/join (1)
jdk7 (1)
jsnext (1)
lazy-seqs (1)
macros (1)
objects (1)
prolog (1)
recursion (1)
smalltalk lisp (1)
tco (1)
types (1)