| | Programming in Haskell (nott.ac.uk) |
| 2 points by mmirate on Aug 21, 2018 | past |
|
| | Monadic Parsing in Haskell [pdf] (nott.ac.uk) |
| 4 points by ingve on June 3, 2018 | past |
|
| | Recounting the rationals: twice [pdf] (nott.ac.uk) |
| 4 points by fanf2 on March 25, 2018 | past | 1 comment |
|
| | 3D Face Reconstruction from a Single Image (nott.ac.uk) |
| 2 points by narayon on Jan 13, 2018 | past |
|
| | Type Theory in Type Theory Using Quotient Inductive Types (2016) [pdf] (nott.ac.uk) |
| 3 points by _culy on Jan 12, 2018 | past |
|
| | 3D Face Reconstruction from a Single Image (nott.ac.uk) |
| 4 points by tambourine_man on Oct 20, 2017 | past |
|
| | No Silver Bullet: Essence and Accidents of Software Engineering (1987) (nott.ac.uk) |
| 37 points by mmphosis on Oct 15, 2017 | past | 8 comments |
|
| | 3D Face Reconstruction from a Single Image (nott.ac.uk) |
| 3 points by dhotson on Sept 25, 2017 | past |
|
| | 3D Face Reconstruction from a Single Image (nott.ac.uk) |
| 2 points by yarapavan on Sept 19, 2017 | past |
|
| | 3D Face Reconstruction (nott.ac.uk) |
| 2 points by BerislavLopac on Sept 18, 2017 | past |
|
| | 3D Face Reconstruction from a Single Image (nott.ac.uk) |
| 214 points by rocky1138 on Sept 15, 2017 | past | 43 comments |
|
| | 3D Face Reconstruction from a Single Image (nott.ac.uk) |
| 2 points by fny on Sept 15, 2017 | past |
|
| | A tutorial on the universality and expressiveness of fold [pdf] (nott.ac.uk) |
| 1 point by tosh on Sept 7, 2017 | past |
|
| | A tutorial on the universality and expressiveness of fold [pdf] (nott.ac.uk) |
| 2 points by tosh on Sept 2, 2017 | past |
|
| | Principles of Programming Languages – Graham Hutton [pdf] (nott.ac.uk) |
| 4 points by doneata on Feb 5, 2017 | past | 1 comment |
|
| | Self-adapting Evolutionary Algorithms (nott.ac.uk) |
| 3 points by pklehre on Sept 19, 2016 | past |
|
| | New Edition of “Programming in Haskell” Now Available (nott.ac.uk) |
| 117 points by javinpaul on Sept 4, 2016 | past | 23 comments |
|
| | New Edition of “Programming in Haskell” Now Available (nott.ac.uk) |
| 3 points by speckz on Sept 1, 2016 | past |
|
| | QML: A Functional Quantum Programming Language written in Haskell (nott.ac.uk) |
| 52 points by e19293001 on Aug 2, 2016 | past | 9 comments |
|
| | No Silver Bullet: Essence and Accidents of Software Engineering (nott.ac.uk) |
| 3 points by vu3rdd on March 24, 2016 | past |
|
| | No Silver Bullet (nott.ac.uk) |
| 3 points by pandog on Feb 4, 2016 | past |
|
| | Homotopy Type Theory for Dummies (2013) [pdf] (nott.ac.uk) |
| 41 points by kushti on Sept 8, 2015 | past | 9 comments |
|
| | Why Dependent Types Matter (2005) [pdf] (nott.ac.uk) |
| 3 points by xvirk on Jan 6, 2015 | past |
|
| | Introduction to Category Theory (nott.ac.uk) |
| 114 points by ColinWright on Jan 4, 2015 | past | 31 comments |
|
| | Introduction to Category Theory (nott.ac.uk) |
| 3 points by dkharrat on Dec 17, 2014 | past |
|
| | How to Prove Time Complexity of Genetic Algorithms (nott.ac.uk) |
| 12 points by pklehre on Sept 21, 2014 | past |
|
| | The Quantum IO Monad [pdf] (nott.ac.uk) |
| 1 point by lelf on Sept 8, 2014 | past |
|
| | More than Liking and Bookmarking? Towards Understanding Twitter Favouriting (nott.ac.uk) |
| 1 point by kjhughes on May 14, 2014 | past |
|
| | No Silver Bullet (nott.ac.uk) |
| 1 point by Danieru on Nov 5, 2013 | past |
|
| | A tutorial on the universality and expressiveness of fold (1999) (nott.ac.uk) |
| 1 point by adrianm on Aug 13, 2013 | past |
|
|
| More |
