corpus.blog
41554 blogs · 4,504,310 posts Claim your blog
Record · cs.cmu.edu

http://www.cs.cmu.edu/~rwh/

A record is what was published and who pointed at it. corpus.blog does not hold this page -- read it at the source, or at its Wayback capture.

Read the post at cs.cmu.edu Wayback capture
5blogs citing
First cited
15 Aug 2012
Most recent
10 Dec 2021

Cited by

Blog
In the post
Date
azdavis.net
Limitations engender opportunity Read at the source ↗
10 Dec 2021
blog.greenberg.science
A refinement type by any other name Read at the source ↗
16 Mar 2015
constantinides.net
Review: Practical Foundations for Programming Languages Read at the source ↗
15 Aug 2014
anil.recoil.org
Unikernels, and the Rise of the Virtual Library Operating System Read at the source ↗
13 Jan 2014
blog.ezyang.com
Practical Foundations for Programming Languages (first impressions) Read at the source ↗
15 Aug 2012