09.15.2016 - By Brian Lonsdorf & Hardy Jones
QuickSpecDenotational Design: From Meanings to ProgramsDenotational SemanticsStrangeLoopPractically Functional Programming