samth/gradual-typing-bib
View on GitHub ↗ ★ 260 Racket
A bibliography on Gradual Typing
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2014-12-01 · latest 2021-12-02
20082026
-
…find it right now, but there was a paper describing how it works. It's probably somewhere here: https://github.com/samth/gradual-typing-bib (if you're curious enough to read many tens of abstracts...)
comment by klibertp · 2021-12-02 · in An Inconsistent Truth: Next.js and Typesafety -
…researchers in this area. [0] https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typin... [1] https://github.com/samth/gradual-typing-bib
comment by jingwen · 2017-10-28 · in The Ergonomics of Type Checking (2016) -
There's a great collection of gradual typing papers here: https://github.com/samth/gradual-typing-bib
comment by orodley · 2015-05-03 · in Consider Static Typing in Ruby -
…research applications (the first paper that mentions "gradual typing" was Siek and Taha in 2006) at https://github.com/samth/gradual-typing-bib . Typed Racket ( http://docs.racket-lang.org/ts-guide/ ) is probably the best-engineered…
comment by jpolitz · 2014-12-01 · in Great Works in Programming Languages (2004)