Inheritance Relationships for Disciplined Software Construction
Tracy A. Gardner
Download Now
Format: eBook (PDF)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Download Now
Format: eBook (PDF)
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Masahito Hasegawa
Download Now
Format: eBook (PDF)