| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| Danvy,Nielsen- Defunctionalization at Work.pdf | 2025-Jan-04 23:47:56 | 253.9K | application/pdf |
| Danvy- A Rational Deconstruction of Landin's SECD Machine.pdf | 2025-Jan-04 23:47:56 | 284.0K | application/pdf |
| O'Neill- The Genuine Sieve of Eratosthenes.pdf | 2025-Jan-04 23:47:56 | 217.2K | application/pdf |