- Gilad Bracha on Pluggable Type Systems (2004) https://bracha.org/pluggableTypesPosition.pdf 16 comments programminglanguages
- Re. Gilad Bracha's paper "Pluggable Type Systems" [PDF]: to what extent does Haskell address his issues with mandatory typing? http://bracha.org/pluggabletypesposition.pdf 75 comments haskell
Linking pages
- GitHub - tc39/proposal-type-annotations: ECMAScript proposal for type syntax that is erased - Stage 1 https://github.com/giltayar/proposal-types-as-comments/ 249 comments
- GitHub - tc39/proposal-type-annotations: ECMAScript proposal for type syntax that is erased - Stage 1 https://github.com/tc39/proposal-type-annotations 206 comments
- Unsound and Incomplete - You work for me, Computer. http://www.brandonbloom.name/blog/2014/01/08/unsound-and-incomplete/ 1 comment
- Gradual Typing from Theory to Practice | SIGPLAN Blog https://blog.sigplan.org/2019/07/12/gradual-typing-theory-practice/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:bracha.org
Search title: Gilad Bracha on Pluggable Type Systems (2004)
See how to search.