Models of sharing graphs
Subtitle: a categorical semantics of let and letrec
By: Masahito Hasegawa.
Series: Distinguished dissertations; CPHC/BCS distinguished dissertations.
Publisher: Springer
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 134
Subjects: Programming languages (Electronic computers); Type theory.; Categories (Mathematics)
Notes: Originally published as the author's thesis, Ph.D, University of Edinburgh.