Mads Tofte · 6 obras en el catálogoObrasThe definition of standard MLProof, language, and interactionCompiler GeneratorsCompiler generatorsFFour lectures on standard MLFour lectures on standard MLOOperational semantics and polymorphic type inferenceOperational semantics and polymorphic type inference
OOperational semantics and polymorphic type inferenceOperational semantics and polymorphic type inference