Simon Peyton Jones Eric Normand's NewsletterSoftware design, functional programming, and software engineering practicesOver 5,000 subscribersSearch allA History of Haskell: being lazy with classVideoPresentationA reflection on typesPDFPaperAdventure with Types in Haskell - Simon Peyton JonesVideoPresentationAlgorithmic complexityVideoInterviewBackpack to Work: Towards Practical Mixin Linking for HaskellPDFPaperComposable Scheduler Activations for HaskellPDFPaperDesugaring Haskell’s do-notation Into Applicative OperationsPDFPaperDiagnosing type errors with class June 13, 2015PDFPaperDojoLIVE! - featuring Simon Peyton JonesVideoInterviewFun With Type FunctionsSlidesPresentationFunctional GeekeryAudioInterviewGADTs meet their match: pattern-matching warnings that account for GADTs, guards, and lazinessPDFPaperHaskell is uselessVideoInterviewInjective type families for HaskellPDFPaperNon-recursive Make Considered Harmful September 22, 2016PDFPaperPattern SynonymsPDFPaperSequent calculus as a compiler intermediate languagePDFPaperSimon Peyton Jones Interview Transcript from Frege Day 2015TextInterviewSimon Peyton Jones interviewVideoInterviewSimon Peyton Jones: Geek of the WeekTextInterviewTeaching creative computer science: Simon Peyton Jones at TEDxExeterVideoPresentationYOW 2011 Simon Peyton Jones - Closer to NirvanaVideoInterview