August 24th, 2008

beartato phd

(no subject)

Wrestling with type inference still. Found some motivating examples for my alternate unification algorithm; though it looks like it may not be enough.