42,805 blogs · 5,350,595 posts Claim your blog

Record · corpus.blog/posts/01a0874a-5728-7319-9e51-674eed5966db

Collapsible Contracts: Space-Efficient Contracts in Racket

blog.greenberg.science · published 12 November 2018

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.

Read the post at blog.greenberg.science Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 13
Words captured: 249

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://people.seas.harvard.edu/~chong/

people.seas.harvard.edu

https://2018.splashcon.org/

2018.splashcon.org

https://2018.splashcon.org/event/splash-2018-oopsla-collapsible-contracts-pruning-pathological-performance-for-sound-gradual-typing

2018.splashcon.org

http://eecs.northwestern.edu/u/daniel.feltey/

eecs.northwestern.edu

http://www.ccs.neu.edu/home/types/

ccs.neu.edu

http://users.ugent.be/~chscholl/

users.ugent.be

http://www.eecs.northwestern.edu/~robby/

eecs.northwestern.edu

http://users.eecs.northwestern.edu/~stamourv/

users.eecs.northwestern.edu

https://dl.acm.org/citation.cfm?id=3276503

dl.acm.org

http://users.eecs.northwestern.edu/~stamourv/papers/collapsible-contracts.pdf

users.eecs.northwestern.edu

http://www.cs.pomona.edu/~michael/papers/popl2015_space.pdf

cs.pomona.edu

http://www.cs.pomona.edu/~michael/papers/tfp2016_final.pdf

cs.pomona.edu

https://docs.racket-lang.org/reference/Building_New_Contract_Combinators.html

docs.racket-lang.org