evan_tech

Previous Entry Share Next Entry
11:14 am, 15 Oct 03

type logical grammar, lambda ultimate, etc.

(In general, I guess programming language geeks should check out lambda_ultimate.)