| 1. | | An adequate left-associated binary numeral system in the lambda calculus (brics.dk) |
| 1 point by fanf2 9 months ago | past |
|
| 2. | | An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (brics.dk) |
| 1 point by todsacerdoti 9 months ago | past |
|
| 3. | | The Recursive Enumerability of Fixed-Point Combinators [pdf] (brics.dk) |
| 1 point by gone35 on July 1, 2025 | past |
|
| 4. | | On Barron and Strachey's Cartesian Product Function (2007) [pdf] (brics.dk) |
| 2 points by aragonite on May 24, 2024 | past | 1 comment |
|
| 5. | | Do we Need Dependent Types? (2001) [pdf] (brics.dk) |
| 4 points by pera on March 6, 2023 | past |
|
| 6. | | An Adequate Left-Associated Binary Numeral System in the Lambda Calculus [pdf] (brics.dk) |
| 3 points by bediger4000 on Oct 27, 2022 | past | 1 comment |
|
| 7. | | A Foundation for Embedded Languages (2002) (brics.dk) |
| 3 points by Cieplak on Jan 22, 2018 | past |
|
| 8. | | Functional Unparsing (1998) [pdf] (brics.dk) |
| 2 points by illo on Nov 8, 2017 | past |
|
| 9. | | Optimal Purely Functional Priority Queues (1996) [pdf] (brics.dk) |
| 2 points by tosh on Dec 27, 2016 | past | 1 comment |
|
| 10. | | Defunctionalization at Work (brics.dk) |
| 1 point by luu on Jan 27, 2014 | past |
|
| 11. | | Type Analysis for Javascript (brics.dk) |
| 3 points by alter8 on Oct 11, 2012 | past |
|
| 12. | | Do we Need Dependent Types? [pdf] (brics.dk) |
| 1 point by DanielRibeiro on June 14, 2011 | past |
|
| 13. | | Feynman on Great Men (brics.dk) |
| 6 points by ehsanul on April 19, 2010 | past | 1 comment |
|
| 14. | | The First Report on Scheme Revisited (brics.dk) |
| 10 points by byrneseyeview on June 25, 2008 | past |
|
| 15. | | Worth reading or rereading: Guy Steele's Growing a Language (PDF) (brics.dk) |
| 8 points by henning on Dec 25, 2007 | past | 1 comment |
|
| 16. | | Where Scheme came from [pdf] (brics.dk) |
| 2 points by herdrick on Dec 13, 2007 | past |
|
