Simon Peyton JonesSearch allA History of Haskell: being lazy with classVideoA reflection on typesPDFAdventure with Types in Haskell - Simon Peyton JonesVideoAlgorithmic complexityVideoBackpack to Work: Towards Practical Mixin Linking for HaskellPDFComposable Scheduler Activations for HaskellPDFDesugaring Haskell’s do-notation Into Applicative OperationsPDFDiagnosing type errors with class June 13, 2015PDFDojoLIVE! - featuring Simon Peyton JonesVideoFun With Type FunctionsSlidesFunctional GeekeryAudioGADTs meet their match: pattern-matching warnings that account for GADTs, guards, and lazinessPDFHaskell is uselessVideoInjective type families for HaskellPDFNon-recursive Make Considered Harmful September 22, 2016PDFPattern SynonymsPDFSequent calculus as a compiler intermediate languagePDFSimon Peyton Jones interviewVideoSimon Peyton Jones Interview Transcript from Frege Day 2015TextSimon Peyton Jones: Geek of the WeekTextTeaching creative computer science: Simon Peyton Jones at TEDxExeterVideoYOW 2011 Simon Peyton Jones - Closer to NirvanaVideo