P.R.H. Hendriks Type-checking mini-ML
an algebraic specification with user-defined syntax
Gedrukt boek
an algebraic specification with user-defined syntax
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek