| | 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
|
|
| | QML: A Functional Quantum Programming Language (nott.ac.uk) |
|
1 point by jonbaer on July 7, 2013 | past
|
|
| | No Silver Bullet: Essence and Accidents of Software Engineering (nott.ac.uk) |
|
1 point by bentcorner on May 1, 2013 | past
|
|
|
|
More |
