Record · corpus.blog/posts/01a0874a-5729-72cb-b34b-a3bd1c4573a8
A refinement type by any other name
blog.greenberg.science · published 16 March 2015
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- Links from this post
- 58
- Words captured
- 2,590
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
cs.cmu.edu
dl.acm.org
dblp.uni-trier.de
blog.greenberg.science
cse.chalmers.se
cse.chalmers.se
homes.cs.washington.edu
cs.cornell.edu
link.springer.com
ecommons.cornell.edu
cs.cornell.edu
shayashi.jp
citeseerx.ist.psu.edu
citeseerx.ist.psu.edu
cs.bu.edu
research.cs.queensu.ca
reports-archive.adm.cs.cmu.edu
dblp.uni-trier.de
cs.princeton.edu
cs.cmu.edu
cs.princeton.edu
people.cis.ksu.edu
cse.lehigh.edu
users.soe.ucsc.edu
ats-lang.org
goto.ucsd.edu
goto.ucsd.edu
eecs.northwestern.edu
homepages.inf.ed.ac.uk
homepages.inf.ed.ac.uk
research.microsoft.com
research.microsoft.com
cs.cmu.edu
reports-archive.adm.cs.cmu.edu
ccis.northeastern.edu
composition.al
cs.ubc.ca
cs.brown.edu
dblp1.uni-trier.de
blog.greenberg.science
apps.dtic.mil
weaselhat.com
link.springer.com
cs.cmu.edu