Discussions not found
Sorry, we couldn't find anything for http://tomasp.net/blog/2016/philopl-questions/.
See some search examples.
Linked pages
- Philosophy of science books every computer scientist should read - Tomas Petricek http://tomasp.net/blog/2015/reading-list/ 209 comments
- Against the definition of types - Tomas Petricek http://tomasp.net/blog/2015/against-types/ 42 comments
- Philosophy of mathematics - Wikipedia https://en.wikipedia.org/wiki/Philosophy_of_mathematics 36 comments
- Coeffects: Context-aware programming languages http://tomasp.net/coeffects/ 28 comments
- Miscomputation: Learning to live with errors - Tomas Petricek http://tomasp.net/blog/2015/failures/ 9 comments
- Whig history - Wikipedia http://en.wikipedia.org/wiki/Whig_history 4 comments
- The medium is the message - Wikipedia https://en.wikipedia.org/wiki/The_medium_is_the_message 2 comments
- The Unreasonable Effectiveness of Mathematics in the Natural Sciences - Wikipedia http://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences 2 comments
- Philip Wadler - Propositions as Types (Lambda Days 2016) - YouTube https://www.youtube.com/watch?t=45m42s&v=aeRVdYN6fE8 0 comments
- What can programming language research learn from the philosophy of science? - Tomas Petricek http://tomasp.net/blog/2014/philosophy-pl/ 0 comments
- Design and Science · Journal of Design and Science http://jods.mitpress.mit.edu/pub/designandscience 0 comments
- Future Programming Workshop http://www.future-programming.org/ 0 comments
- First Draft of a Report on the EDVAC - Wikipedia http://en.wikipedia.org/wiki/First_Draft_of_a_Report_on_the_EDVAC 0 comments
- Unreasonable ineffectiveness of mathematics - Wikipedia https://en.wikipedia.org/wiki/Unreasonable_ineffectiveness_of_mathematics 0 comments
Related searches:
Search whole site: site:tomasp.net
Search title: Philosophical questions about programming - Tomas Petricek
See how to search.