michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

finished references

Browse source
This commit is contained in:
Jeremy Siek 2020-07-17 09:30:06 -04:00
parent 03e710febf
commit 3398281a67
1 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/plfa/part2/Subtyping.lagda.md
View file

@ -1257,10 +1257,15 @@ of the form:
## References
* Reynolds 1980
* John C. Reynolds. Using Category Theory to Design Implicit
Conversions and Generic Operators.
In Semantics-Directed Compiler Generation, 1980.
LNCS Volume 94.
* Cardelli 1984
* Luca Cardelli. A semantics of multiple inheritance. In Semantics of
Data Types, 1984. Springer.
* Liskov
* Barbara H. Liskov and Jeannette M. Wing. A Behavioral Notion of
Subtyping. In ACM Trans. Program. Lang. Syst. Volume 16, 1994.
* Types and Programming Languages. Benjamin C. Pierce. The MIT Press. 2002.