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