- What is the biggest class of programs for which extensional equality is decidable? http://en.wikipedia.org/wiki/Extensionality 26 comments compsci
Linking pages
- Programming with Nothing http://experthuman.com/programming-with-nothing 58 comments
- Programming with Nothing http://codon.com/programming-with-nothing 47 comments
- Abusing rust's type system for sound bounds check elision - Fully Faithful https://fullyfaithful.eu/bounds-check-elision-rust/ 41 comments
- Programming with Nothing https://tomstu.art/programming-with-nothing 28 comments
- Programming Languages as Categories | by Marco Perone | Statebox https://blog.statebox.org/programming-is-just-an-example-6bc6bacb7b72 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Extensionality - Wikipedia
See how to search.