Hacker News
- Principles of Programming Languages (1997) [pdf] http://www.cs.nott.ac.uk/~pszgmh/popl.pdf 12 comments
- Monadic parsing in Haskell (1998) [pdf] http://www.cs.nott.ac.uk/~pszgmh/pearl.pdf 2 comments
- New Edition of “Programming in Haskell” Now Available http://www.cs.nott.ac.uk/~pszgmh/pih.html 23 comments
Lobsters
- Making a parser, can't make addop combinator http://www.cs.nott.ac.uk/~pszgmh/monparsing.pdf 10 comments haskell
- 10 PhD studentships in Nottingham http://www.cs.nott.ac.uk/~pszgmh/phd-advert.txt 9 comments haskell
- 10 PhD studentships in Nottingham http://www.cs.nott.ac.uk/~pszgmh/phd-advert.txt 4 comments haskell
- Multiple Assistant/Associate Professorships in Nottingham http://www.cs.nott.ac.uk/~pszgmh/advert.html 9 comments haskell
- Journal of Functional Programming - Call for PhD Abstracts http://www.cs.nott.ac.uk/~pszgmh/jfp-phd-abstracts.html 3 comments haskell
- New technology allows for 3D reconstruction of faces from a single image. http://www.cs.nott.ac.uk/~psxasj/3dme/view.php?name=59bc82a391c54 3 comments technology
- 3D Face Reconstruction from a Single Image (via Direct Volumetric CNN Regression) click on one of the photos and drag/spin it around http://www.cs.nott.ac.uk/~psxasj/3dme/index.php 61 comments programming
- An online demo of 3D face reconstruction from a single image http://www.cs.nott.ac.uk/~psxasj/3dme/ 9 comments computervision
- Question on "A tutorial on the universality and expressiveness of fold" http://www.cs.nott.ac.uk/~pszgmh/fold.pdf 6 comments haskell
- New Edition of "Programming in Haskell" Now Available http://www.cs.nott.ac.uk/~pszgmh/pih.html 37 comments programming
- Recounting the Rationals: Twice! [PDF] http://www.cs.nott.ac.uk/~psarb2/mpc/recountingrationalstwice.pdf 5 comments compsci
- Programs for Cheap! (pdf) http://www.cs.nott.ac.uk/~jph/progs4cheap.pdf 5 comments haskell
- Galois connections and fixed point calculus https://www.cs.nott.ac.uk/~rcb/g53pal/fpandgc.pdf 3 comments haskell
- Midlands Graduate School, Nottingham, April 2014 http://www.cs.nott.ac.uk/~txa/mgs.2014/ 4 comments haskell
- Work It, Wrap It, Fix It, Fold It http://www.cs.nott.ac.uk/~gmh/workit.pdf 6 comments haskell
- New video lecture - how to be more productive! http://www.cs.nott.ac.uk/~gmh/contractive.mp4 9 comments haskell
- Fully-Funded PhD Studentship in Functional Programming http://www.cs.nott.ac.uk/~gmh/phd-advert.html 14 comments programming
- Factorising folds for faster functions http://www.cs.nott.ac.uk/~gmh/f5.pdf 5 comments haskell
- Introduction to Category Theory http://www.cs.nott.ac.uk/~gmh/cat.html 11 comments haskell
- Monatron http://www.cs.nott.ac.uk/~mjj/monatron/ 3 comments haskell
- Chasing bottoms: writing tests for partial, non-terminating and infinite values http://www.cs.nott.ac.uk/~nad/software/chasingbottoms/docs/ 3 comments programming
- New book - Programming in Haskell, by Graham Hutton http://www.cs.nott.ac.uk/~gmh/book.html 7 comments programming
- Type classes: not quite overloading http://www.cs.nott.ac.uk/~pni/papers/notes/typeclassovld.html 9 comments programming
- A tutorial on the expressiveness and universality of fold [PDF] http://www.cs.nott.ac.uk/~gmh/fold.pdf 4 comments programming
- Why Dependent Types Matter [pdf] http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf 8 comments programming
- Draft of an upcoming book on Haskell (60-page PDF) http://www.cs.nott.ac.uk/~gmh/preview.pdf 19 comments programming
Lambda the Ultimate
- The worker/wrapper transformation http://www.cs.nott.ac.uk/~gmh/wrapper.pdf 8 comments Functional
- Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach http://www.cs.nott.ac.uk/~nxg/Popl07.hs 0 comments Category Theory , Functional
- A type-correct, stack-safe, provably correct, expression compiler in Epigram http://www.cs.nott.ac.uk/~jjw/papers/Compiler_Pearl/Compiler_Pearl.pdf 14 comments Functional
- What is the Meaning of These Constant Interruptions? http://www.cs.nott.ac.uk/~gmh/interrupts.pdf 12 comments General
- Fusion in less space http://www.cs.nott.ac.uk/~cvh/hylos/hylos.pdf 0 comments Functional
- Slides for ' Programming in Haskell' http://www.cs.nott.ac.uk/~gmh/book.html 4 comments Functional
- Why Dependent Types Matter http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf 35 comments Type Theory
- lambda-calculus and types http://www.cs.nott.ac.uk/~txa/publ/mgs04.pdf 8 comments theory
- The essence of compiling exceptions http://www.cs.nott.ac.uk/~gmh/exceptions.pdf 2 comments implementation
- Introduction to Functional Programming http://www.cs.nott.ac.uk/~gmh/functional.html 0 comments functional