For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
An adequate left-associated binary numeral system in the lambda calculus (brics.dk)
1 point by fanf2 84 days ago | past
An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (brics.dk)
1 point by todsacerdoti 85 days ago | past
The Recursive Enumerability of Fixed-Point Combinators [pdf] (brics.dk)
1 point by gone35 9 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You