TI in Nemerle
Posted on February 16, 2007
Type Inference in Nemerle, F/OO .NET lang. "Type Inference with Deferral":http://nemerle.org/Type_inference
DDP: Demand-Driven Analysis with Goal Pruning
Posted on February 16, 2007
Lex Spoon has some rockin’ ideas ! I know I will very likely take many pages from this approach, just documenting it here for posterity ; )