-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpapers.html
1 lines (1 loc) · 1.38 KB
/
papers.html
1
<html><head><title>Cal Herries</title><meta charset="UTF-8"><meta content="width=device-width, initial-scale=1" name="viewport"><link href="../resources/public/css/app-components.css" rel="stylesheet"><link href="../resources/public/css/app-utilities.css" rel="stylesheet"></head><body class="p-8"><a href="/" style="color:blue;font-weight:bold;text-decoration:none;">←</a><div><h1>Papers I love</h1><ul><li><a href="http://curtclifton.net/papers/MoseleyMarks06a.pdf">Out of the Tar Pit</a></li><li><a href="https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf">On Understanding Data Abstraction, Revisited</a></li><li><a href="file:///Users/callumherries/Downloads/axiomatic-basis-computer-programming.pdf">An Axiomatic Basis for Computer Programming</a></li><li><a href="http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.695">On understanding types, data abstraction, and polymorphism</a></li><li><a href="http://se.inf.ethz.ch/~meyer/publications/old/dbc_chapter.pdf">Design by Contract</a></li><li><a href="https://kar.kent.ac.uk/21504/3/Higher-order_+_Polymorphic_=_Reusable.pdf">Higher order + Polymorphic = Reusable</a></li><li><a href="http://www-formal.stanford.edu/jmc/recursive.pdf">Recursive Functions of Symbolic Expressions and Their Computation by Machine</a></li><li><a href="https://www.jsoftware.com/papers/tot.htm">Notation as a Tool of Thought</a></li></ul></div></body></html>