Hacker News
- Propositions Are Not Types (2018) https://medium.com/@rplevy/propositions-are-not-types-naturalizing-information-content-in-computing-e51b94ad6674 17 comments
Linked pages
- talk-transcripts/EffectivePrograms.md at master · matthiasn/talk-transcripts · GitHub https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/EffectivePrograms.md 220 comments
- http://math.ucr.edu/home/baez/rosetta.pdf 51 comments
- http://people.csail.mit.edu/brooks/papers/representation.pdf 0 comments
Related searches:
Search whole site: site:medium.com
Search title: Propositions Are Not Types: Naturalizing Information Content in Computing | by Robert P. Levy | Medium
See how to search.