| | Synopsis of the Language Joy (2001) (hypercubed.github.io) |
| 2 points by droideqa 47 days ago | past |
|
| | Mathematical Foundations of Joy (hypercubed.github.io) |
| 80 points by tosh on Feb 22, 2024 | past | 8 comments |
|
| | Mathematical Foundations of Joy (2002) (hypercubed.github.io) |
| 1 point by jstrieb on Sept 21, 2022 | past |
|
| | Recursion Theory and Joy (hypercubed.github.io) |
| 1 point by tosh on June 19, 2021 | past |
|