Paper Reading

Date                              Speaker                      Paper
Sep 4, 2017 Bruno The Essence of Inheritance
Aug 9, 2017 Ningning Gradual Typing for Functional Languages
May 29, 2017 Huang Object-Oriented Multi-Methods in Cecil
Mar 27, 2017 Jimmy Greedy Bidirectional Polymorphism
Mar 2, 2017 Weixin Functional Pearl: A SQL to C Compiler in 500 Lines of Code
Nov 12, 2016 Haoyuan Parsing with Derivatives
Nov 7, 2016 Linus Desugaring Haskell’s do-Notation into Applicative Operations
Oct 19, 2016 Jeremy Calculating Correct Compilers
Sep 27, 2016 Bruno Type Classes in Haskell
Aug 28, 2016 Joao Extensible Records With Scoped Labels
Aug 22, 2016 Tomas An Empirical Study on the Impact of C++ Lambdas and Programmer
Aug 16, 2016 Ningning Programming and Reasoning with Algebraic Effects and Dependent Types
Jul 31, 2016 Huang Finger trees: a simple general-purpose data structure
Jul 25, 2016 Haoyuan Data types a la carte
Jul 18, 2016 Weixin From F to DOT: Type Soundness Proofs with Definitional Interpreters
Jul 5, 2016 Yanlin CZ: Multiple Inheritance Without Diamonds
June 24, 2016 Tomas Fun with Functional Dependencies
April 29, 2016 Jeremy Idioms: applicative programming with effects
April 22, 2016 Bruno The Essence of Inheritance
April 15, 2016 Joao Engineering Formal Metatheory
April 8, 2016 Ningning Complete and Easy Bidirectional Typechecking for Higher-Rank
Mar 15, 2016 Huang A Supercompiler for Core Haskell
March 11, 2016 Weixin Design Patterns as Higher-Order Datatype-Generic Programs
March 4, 2016 Haoyuan Folding Domain-Specific Languages: Deep and Shallow Embeddings
Feb 26, 2016 Yanlin The State of the Art in Language Workbenches
Jan 22, 2016 Jeremy Extensible Effects - An Alternative to Monad Transformers
Dec 17, 2015 Bruno Elaborating intersection and union types
Dec 3, 2015 George Stochastic Lambda Calculus and Monads of Probability Distributions
Nov 26, 2015 Tomas Dedalus: Datalog in Time and Space
Nov 19, 2015 Ningning Local Type Inference
Nov 12, 2015 Huang foetus - Termination Checker for Simple Functional Programs
Nov 5, 2015 Haoyuan Origami programming, by Jeremy Gibbons
Oct 29, 2015 Weixin Matching Objects With Patterns
Oct 15, 2015 Haoyuan Origami programming, by Jeremy Gibbons
Oct 8, 2015 Yanlin Traits: Composable Units of Behaviour
Sep 24, 2015 Jeremy Theorems for free!
Aug 20, 2015 Bruno On Understanding Data Abstraction, Revisited
Aug 13, 2015 George Asynchronous Functional Reactive Programming for GUIs
Jul 23, 2015 Tomas In Search of Types
June 18, 2015 Linus Fun with phantom types
June 11, 2015 Weixin Monad Transformers and Modular Interpreters
May 28, 2015 Haoyuan Optimal Purely Functional Priority Queues
April 30, 2015 Yanlin Crossing the Gap from Imperative to Functional Programming through
April 23, 2015 Jeremy Why Dependent Types Matter
April 16, 2015 Bruno On Understanding Types, Data Abstraction, and Polymorphism
March 5, 2015 Tomas Self-Representation in Girard’s System U
Feb 12, 2015 Linus Flattening Combinators: Surviving Without Parentheses