Record · corpus.blog/posts/01a08790-6b8e-730e-84bf-13b06fbbab39

After ICFP 2018

joomy.korkutblech.com · published 30 September 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 joomy.korkutblech.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 21
Words captured: 1,139

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://icfp18.sigplan.org/

icfp18.sigplan.org

https://williamjbowman.com/tags/academia.html

williamjbowman.com

http://thesis.barzilay.org/thesis.pdf

thesis.barzilay.org

https://icfp18.sigplan.org/track/tyde-2018

icfp18.sigplan.org

http://cattheory.com/extensibleTypeDirectedEditing.pdf

cattheory.com

http://hazel.org/

hazel.org

https://twitter.com/cattheory/status/1044029230298923009

twitter.com

https://dl.acm.org/citation.cfm?doid=3243631.3236787

dl.acm.org

https://dl.acm.org/citation.cfm?doid=3243631.3236773

dl.acm.org

https://arxiv.org/abs/1803.06547

arxiv.org

https://dl.acm.org/citation.cfm?doid=3243631.3236780

dl.acm.org

https://dl.acm.org/citation.cfm?doid=3243631.3236788

dl.acm.org

https://dl.acm.org/citation.cfm?doid=3243631.3236799

dl.acm.org

http://adam.chlipala.net/papers/PhoasICFP08/

adam.chlipala.net

https://stackoverflow.com/a/19420356/2016295

stackoverflow.com

https://con.racket-lang.org/

con.racket-lang.org

https://github.com/david-christiansen/todo-list

github.com

https://github.com/Metaxal/quickscript-extra/tree/master/scripts

github.com

https://cassius.uwplse.org/

cassius.uwplse.org

http://thelittletyper.com/

thelittletyper.com

https://www.youtube.com/watch?v=9QL97E0cNk0

youtube.com