|
|
| | On Barron and Strachey's Cartesian Product Function (2007) [pdf] (brics.dk) | |
2 points by aragonite 11 months ago | 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
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
