Skip to content

Operational semantics and polymorphic type inference

by Mads Tofte

Programming languages (Electronic computers)Semantics
Writing a summary for young readers…

For young readers

Book data: Open Library