Show unique PDF links →

2021-06-16 19:56:49 +0200 <Ariakenom> History of Lambda-calculus and Combinatory Logic http://www.users.waitrose.com/~hindley/SomePapers_PDFs/2006CarHin,HistlamRp.pdf
2021-06-15 22:20:15 +0200 <dminuoso> https://simonmar.github.io/bib/papers/ext-exceptions.pdf
2021-06-12 11:26:32 +0200 <c_wraith> https://www.cs.hmc.edu/%7Eoneill/papers/Sieve-JFP.pdf builds such a priority queue as an incidental thing. (it's a bit broken and only works right for that particular use case...)
2021-06-11 22:45:08 +0200 <dminuoso> Perhaps Oleg et al are wrong then *shrugs* http://okmij.org/ftp/papers/LogicT.pdf
2021-06-09 20:22:54 +0200 <ski> hm, on a quick scan through Peter J. Landin's "The Next 700 Programming Languages" in 1966-03 at <http://thecorememory.com/Next_700.pdf>, i don't see guards, just conditionals
2021-06-08 12:52:35 +0200 <amirouche> related to that there is also http://conal.net/papers/functional-images/fop-conal.pdf
2021-06-04 19:22:10 +0200 <WorldSEnder> https://link.springer.com/content/pdf/10.1007/978-3-030-45231-5_30.pdf uses it, but specifically for beta reduction, so I might have misremembered
2021-06-01 15:59:36 +0200 <boxscape> arrowd https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf Chapter 9 is "Compiling the STG language to C"
2021-05-31 04:53:04 +0200 <dy> https://github.com/precog/matryoshka/blob/master/resources/recursion-schemes.pdf
2021-05-30 13:49:44 +0200 <zebrag> What is the word to speak about... okay found it already "infinite type". Not sure it's haskell related, was just looking up the definition. [https://www.cs.cornell.edu/courses/cs4110/2012fa/lectures/lecture27.pdf]
2021-05-29 20:30:53 +0200 <dminuoso> http://okmij.org/ftp/tagless-final/course/lecture.pdf covers these terms right in the introduction
2021-05-27 10:02:55 +0200 <dminuoso> kakuhen: To be fair, one should at the same time also consider https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf
2021-05-26 10:55:50 +0200 <siraben> I think https://www4.di.uminho.pt/~jno/ps/pdbc.pdf is a great resource on this
2021-05-26 10:48:02 +0200 <siraben> starlord: for catamorphisms there's a nice technique (for lists) laid out in https://www.cs.nott.ac.uk/~pszgmh/fold.pdf
2021-05-24 03:14:16 +0200 <boxscape> https://www.staff.city.ac.uk/~ross/papers/Applicative.pdf