-
Notifications
You must be signed in to change notification settings - Fork 0
Reading Group History
pithlessly edited this page Jan 27, 2026
·
167 revisions
See also: Papers to Read
Rating System (one of): Waste of Time, Meh, Something Valuable, Must Read
| Date | Title | Journal/Conference | Authors | Selection | Leader | Rating |
|---|---|---|---|---|---|---|
| Feb 3 | The Best of Both Worlds: Linear Functional Programming without Compromise | J. Garrett Morris | 2017 | - | Aditya | - |
| Jan 27 | A Taste of Linear Logic | Lecture Notes in Computer Science | Philip Wadler | §1-2, 4 | Zachary | Must Read |
| Jan 20 | Linear types can change the world! | IFIP 1990 | Phillip Wadler | Introduction, § 1-2, 4 | Brennon | Something Valuable |
| Jan 13 | Propositions as Types | Communications of the ACM, Volume 58 | Philip Wadler | Introduction, § 3-4, § 6-7 | Hangil | Must Read |
| Date | Title | Journal/Conference | Authors | Selection | Leader | Rating |
|---|---|---|---|---|---|---|
| Oct 22 | A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation | PLDI '14 | Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann | § 3-4 | Iain | Something Valuable |
| Oct 15 | A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation | - | - | § 1-3 | Iain | - |
| May 22 | Abstract Syntax Graphs for Domain Specific Languages | PEPM 2013 | Bruno Oliveira, Andres Löh | Whole Paper | Kyle | Must read (§1,2,6) |
| May 15 | Improving typeclass relations by being open | Haskell '18 | Guido Martínez, Mauro Jaskelioff, Guido De Luca | Whole Paper | Arnav | Something Valuable |
| May 8 | Deforestation: Transforming programs to eliminate trees | Theoretical Computer Science, 1990 | Philip Wadler | Whole Paper | Ayushi | Something Valuable |
| Apr 17 | Type Classes with Functional Dependencies | ESOP '00 | Mark P. Jones | Whole Paper | Hangil | Must Read |
| Apr 10 | Fun with Semirings: A functional pearl on the abuse of linear algebra | ICFP '13 | Stephen Dolan | § 1-7 | Christine | Something Valuable |
| Apr 3 | Type Variables in Patterns | Haskell '18 | Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones | Whole Paper | Arnav | Something Valuable |
| Mar 10 | Existential Types | Types and Programming Languages, 2002 | Benjamin C. Pierce | § 24.1, 24.2 | Ayushi | Something Valuable |
| Mar 3 | Type Reconstruction | Types and Programming Languages, 2002 | - | § 22 | Zhengzhi | Something Valuable |
| Feb 24 | Lazy Functional State Threads | ACM Sigplan Notices, 1994 | John Launchbury, Simon Peyton Jones | Whole Paper | Iain | Something Valuable |
| Feb 17 | How to Replace Failure by a List of Successes | Functional Programming Languages and Computer Architecture, 1985 | Phillip Wadler | Whole Paper | Hangil | Something Valuable |
| Feb 10 | Typed Logical Variables in Haskell | Electronic Notes in Theoretical Computer Science, 2001 | Koen Claessen, Peter Ljunglöf | Whole Paper | Christine | Something Valuable |
| Feb 3 | A Suite of Metaprogramming Scenarios | Software Languages: Syntax, Semantics, and Metaprogramming, 2018 | Ralf Lämmel | § 5.1.1, 5.2.1, 5.2.2, 5.3.1, 5.4.2 | Arnav | Something Valuable |
| Jan 27 | Structural versus Pipeline Composition of Higher-Order Functions (Experience Report) | ICFP 2022 | Elijah Rivera, Shriram Krishnamurthi | Whole Paper | Ayushi | Meh |
| Date | Title | Journal/Conference | Authors | Selection | Leader | Rating |
|---|---|---|---|---|---|---|
| Dec 4 | Introduction to Abstract Interpretation | Lecture notes, 1995 | Mads Rosendahl | §1 (pp. 2-7) | Iain | - |
| Nov 27 | Toward Abstract Interpretation of Program Transformations | Workshop on Meta-Programming Techniques and Reflection, '17 | Sven Keidel, Sebastian Erdweg | Whole Paper | Iain | Meh |
| Nov 13 | How to make ad-hoc polymorphism less ad hoc | POPL '89 | Philip Wadler, Stephen Blott | Whole Paper | Hangil | Must Read |
| Nov 6 | Parsing with Zippers (Functional Pearl) | ICFP '20 | Pierce Darragh, Michael D. Adams | §5-9 | Christine | Something Valuable |
| Oct 30 | Parsing with Zippers (Functional Pearl) | - | - | §1-5 | Arnav | - |
| Oct 23 | Synthesizing Object-Oriented and Functional Design to Promote Re-Use | ECOOP '98 | Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman | Whole Paper | Ayushi | Meh |
| Oct 16 | Logic Programming with Prolog | Programming Language Fundamentals, 2024 | Martin Erwig | Ch. 8, 8.1, 8.2, 8.3 | Zhengzhi | Something valuable |
| Oct 9 | Datalog and Logic Databases | Synthesis Lectures on Data Management | Sergio Greco, Cristian Molinaro | Ch. 1, 2.1, 3.1 | Iain | Something Valuable |
| Jun 5 | View patterns, Pattern synonyms | GHC User's Guide | Ben Gamari | Whole Article | Iain | Something Valuable |
| May 29 | The Zipper: Functional Pearl | Journal of Functional Programming '97 | Gérard Huet | Whole Paper | Christine | Must Read |
| May 22 | Design Patterns for Parser Combinators | Haskell '21 | Jamie Willis, Nicolas Wu | Whole Paper | Arnav | Something Valuable |
| May 15 | A Prettier Printer | The Fun of Programming (collection) | Philip Wadler | Whole Paper | Ayushi | Something Valuable |
| May 1 | Live Pattern Matching with Typed Holes | OOPSLA 2023 | Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar | §1-4 | Zhengzhi | Meh |
| Apr 24 | Finger trees explained anew, and slightly simplified (functional pearl) | Haskell '20 | Koen Claessen | Whole paper | Iain | Something Valuable |
| Apr 10 | Compositional Explanation of Types and Algorithmic Debugging of Type Errors | ICFP '01 | Olaf Chitil | §3-5 | Arnav | Something Valuable |
| Apr 3 | Compositional Explanation of Types and Algorithmic Debugging of Type Errors | - | - | §1-3 | Ayushi | - |
| Mar 12 | The Choice Calculus: A Formal Language of Variation, '13 | PhD Thesis | Eric Walkingshaw | §3.4-3.5.2 | Iain | - |
| Mar 5 | The Choice Calculus: A Formal Language of Variation, '13 | - | - | §3.1-3.3.2 | Iain | - |
| Feb 28 | Henk: A Typed Intermediate Language | Workshop on Types in Compilation, '97 | Simon Peyton Jones, Erik Meijer | Whole Paper | Christine | Meh |
| Feb 20 | On the Expressive Power of Programming Languages | Author's version, '91 | Matthias Felleisen | Whole Paper | Arnav | Something Valuable |
| Feb 13 | On the Expressive Power of Programming Languages | Science of Computer Programming '91 | Matthias Felleisen | Whole Paper | Ayushi | Something Valuable |
| Feb 6 | Propositions as Types | Communications of the ACM, Volume 58 | Philip Wadler | Whole Paper | - | Must Read |
| Jan 30 | Call-by-Need Is Clairvoyant Call-by-Value | ICFP '19 | Jennifer Hackett, Graham Hutton | §1-4 | Christine | Must Read |
| Jan 23 | Call-by-Need Is Clairvoyant Call-by-Value | - | - | §1-3 | Arnav | - |
| Jan 9 | Call-by-Need Is Clairvoyant Call-by-Value | - | - | §1-4 | Ayushi | - |
| Date | Title | Journal/Conference | Authors | Selection | Leader | Rating |
|---|---|---|---|---|---|---|
| Dec 12 | Algebraic Graphs with Class (Functional Pearl) | International Haskell Symposium '17 | Andrey Mokhov | §1-4 | Iain | Something Valuable |
| Dec 5 | A Taste of Linear Logic | Lecture Notes in Computer Science | Philip Wadler | §4-6 | Christine | Must Read |
| Nov 28 | A Taste of Linear Logic | - | - | §1-3 | Nate | - |
| Nov 21 | Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs | Communications of the ACM, August 1978 | John Backus | Whole Paper | Arnav | Must Read |
| Nov 14 | In Search of Types | Onward! 2014 | Stephen Kell | Whole Paper | Ayushi | Something Valuable |
| Nov 7 | Functional Images | The Fun of Programming (collection) | Conal Elliott | Whole Paper | Iain | Something Valuable |
| Oct 31 | Higher-Order Abstract Syntax | PLDI '88 | Frank Pfenning, Conal Elliott | Whole Paper | Christine | Something Valuable |
| Oct 24 | Why Functional Programming Matters | Research Topics in Functional Programming, 1990 | John Hughes | Whole Paper | Nate | Something Valuable |
| Oct 17 | Type Systems | ACM Computing Surveys, vol. 28 | Luca Cardelli | §4-9 | Arnav | Must Read |
| Oct 10 | Type Systems | - | - | §1-3 | Ayushi | - |
| Date | Title | Journal/Conference | Authors | Selection | Leader | Rating |
|---|---|---|---|---|---|---|
| June 4 | Henk: a typed intermediate language | Workshop on Types and Compilation, 1997 | Simon Peyton Jones, Erik Meijer | Whole Paper | Divya | Must Read |
| May 28 | In Search of Types | Onward! 2014 | Stephen Kell | §1-5, 9 | Alex | Something Valuable |
| May 21 | Monads in Haskell and Category Theory | Bachelor's Thesis | Samuel Grahn | Pages 15-26 | Iain | Waste of Time |
| May 14 | A functional representation of data structures with a hole | POPL '98 | Yasuhiko Minamide | §1-4 | Jack P. | Meh |
| April 23 | Polymorphic type inference and abstract data types | ACM Transactions on Programming Languages and Systems '94 | Konstantin Läufer, Martin Odersky | §1-4 | Jack B. | Something Valuable |
| April 16 | Lava: Hardware Design in Haskell | ACM SIGPLAN Notices '01 | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh | §1-3 | Prashant | Something Valuable |
| April 9 | Introduction to generalized type systems | JFP '91 | Henk (Hendrik) Pieter Barendregt | §1-2 | Daniel | Meh |
| Mar 12 | Algebraic Graphs with Class (Functional Pearl) | International Haskell Symposium '17 | Andrey Mokhov | §1-5 | Iain | Something Valuable |
| Mar 5 | A Simple Logic of Functional Dependence | Alexandru Baltag, Johan van Benthem | §1, 1.1, 3.1, 3.3, 3.4 | Jack P. | ??? | |
| Feb 26 | The mechanical evaluation of expressions | P.J. Landin | up to the "Evaluating with a digital computer" | Jeff | ??? | |
| Feb 19 | Asynchronous Effects | POPL '21 | Danel Ahman, Matija Pretnar | § 1-5, except 3.3, 3.4, 4.3, 4.4 | Daniel | ??? |
| Feb 12 | The Choice Calculus: A Formal Language of Variation | OSU Thesis | Eric Walkingshaw | § 3.1, 3.2.1, 3.2.2, 3.3.1, 3.3.2 | Prashant | Something Valuable |
| Feb 5 | Type debugging with counter-factual type error messages using an existing type checker | Symposium on Implementation and Application of Functional Languages 2019 | Kanae Tsushima, Olaf Chitil, Joanna Sharrad | § 1-6 Inc. | Divya | Something Valuable |
| Jan 29 | Unrestricted Pure Call-by-Value Recursion | ML '08 | Johan Nordlander, Magnus Carlsson, Andy J. Gill | § 1-5 Inc., 8 | Jack B. | Something Valuable |
| Jan 15 | Compositional explanation of types and algorithmic debugging of type errors | ICFP '01 | Olaf Chitil | All | Alex | Something Valuable |
| Jan 8 | On quantum lambda calculi: a foundational perspective | Math. Struct. in Comp. Science (2016) | Margherita Zorzi | § 1, 5-5.9 Inc. | Ben | Meh |
| Dec 2 | Handbook of Epistemic Logic | - | Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Pieter Kooi | § 11.2-11.3.3 Inc. | Jack P. | - |
| Nov 25 | Relational Programming inminiKanren: Techniques, Applications, and Implementations + miniKanren, Live and Untagged | Indiana University Thesis + ICFP '12 | William E. Byrd + William E. Byrd, Eric Holk, Daniel P. Friedman | § 1.1, 1.3, 1.4 + All | Alex | Something Valuable |
| Nov 18 | Handbook of Epistemic Logic | - | Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Pieter Kooi | § 8.1-8.3 Inc. | Prashant | - |
| Nov 4 | Backtracking, Interleaving, and Terminating Monad Transformers | ICFP '05 | Oleg E Kiselyov, Chung-chieh Shan, Daniel Paul Friedman, Amr Sabry | § 1-5 Inc. | Kai | Something Valuable |
| Oct 28 | Handbook of Epistemic Logic | - | Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Pieter Kooi | § 3.2.1-3.3.1 Inc. | Jack B. | - |
| Oct 21 | Handbook of Epistemic Logic | - | Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Pieter Kooi | § 2.1-2.2.3 Inc. | Claire | - |
| Oct 14 | Handbook of Epistemic Logic | - | Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Pieter Kooi | § 1.2.2-1.2.4 Inc. | Ameya | - |
| Oct 7 | Handbook of Epistemic Logic + Epistemic Logic and Epistemology | - | Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Pieter Kooi + Wesley H. Holliday | § 1.2.1 + § 1-5 Inc. | Divya | - |
| Sep 30 | Modal Logic | Stanford Encyclopedia of Philosophy | - | § 1-8 Inc. | Jeff | - |
| Sep 23 | Modal Logic | Stanford Encyclopedia of Philosophy | - | § 1-8 Inc. | Daniel | - |
| Date | Title | Journal/Conference | Authors | Selection | Leader | Rating |
|---|---|---|---|---|---|---|
| Summer 2020 | - | - | - | - | - | - |
| Jun 5th | Static Program Analysis | - | Møller and Schwartzbach | Chapter 1 | Eric | - |
| May 29th | A Formal Semantics of SQL Queries, Its Validation, and Applications | 44th International Conference on Very Large Data Bases (VLDB), Aug 2018 | Paolo Guagliardo and Leonid Libkin | § 1-3 Inc. | Parisa | Meh |
| May 22nd | A Taste of Linear Logic | Revised from Lecture, Mathematical Foundations of Computer Science, Aug-Sept 1993 | Philip Wadler | § 4-6 Inc. | Kai | Must Read |
| May 15th | A Taste of Linear Logic | Revised from Lecture, Mathematical Foundations of Computer Science, Aug-Sept 1993 | Philip Wadler | § 1-3 Inc. | Daniel | - |
| May 8th | Game Semantics | Proceedings of the NATO ASI on Computational Logic. July 29 – Aug 10, 1997 | Samson Abramsky, Guy McCusker | § 2 | Fariba | Something Valuable |
| May 1st | Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire | Functional Programming Languages and Computer Architecture: 5th ACM Conference. Aug 26-30, 1991 Proceedings | Erik Meijer, Maarten Fokkinga, Ross Paterson | § 1-4 Inc. | Prashant | Something Valuable |
| Apr 24th | Type Systems | Handbook of Computer Science and Engineering, 2nd Edition, 2004 | Luca Cardelli | § 6-9 Inc. | Alex | Must Read |
| Apr 17th | Type Systems | Handbook of Computer Science and Engineering, 2nd Edition, 2004 | Luca Cardelli | § 4 & 5 | Jack B | - |
| Apr 10th | Type Systems | Handbook of Computer Science and Engineering, 2nd Edition, 2004 | Luca Cardelli | § 1-3 Inc. | Divya | - |
| Mar 11th | Monad Transformers and Modular Algebraic Effects | Haskell Symposium 2019 | Shrivers, Pirog, Wu, Jaskelioff | 1-3 Inc. | Ghadeer | Something Valuable |
| Mar 4th | Incorrectness Logic | POPL 2020 | Peter W. O'Hearn | Sections 1-4 Inc. | Parisa | Waste of time |
| Feb 26th | On the expressive power of languages | Papers We Love | Video | Jeff | Something Valuable | |
| Feb 19th | Ghosts of Departed Proofs | Haskell | Matt Noonan | Whole Paper | Jeff | Something Valuable |
| Feb 12th | The Polyadic pi-calculus: a Tutorial | Robin Milner | Up to, and including Section 3.1 | Prashant | Must Read | |
| Feb 5th | Language-Integrated Provenance by Trace Analysis | DBPL '19 | Stefan Fehrenbach, James Cheney | Up to, and including Section 4 | Divya | Meh |
| Jan 29th | Visualization by Example | POPL 2020 | ChengLong Wang, Yu Feng, Rastislav Bodik, Alvin Cheung, Isil Dillig | Up to Section 4, not including | Kai | Meh |
| Jan 22th | Call-by-need is clairvoyant call-by-value | ICFP 19 | Jennifer Hackett, Graham Hutton | Section 4, First 2 pages of Section 5,Section 6 | Parisa | Must Read |
| Jan 15th | Call-by-need is clairvoyant call-by-value | ICFP 19 | Jennifer Hackett, Graham Hutton | Up to Section 4 | Daniel | Something Valuable |
| Jan 8th | Total Functional Programming | JUCS 04 | D.A. Turner | Up to not including Section 3.2 | Jeff | Something valuable |
| Nov 25 | Gradual Typing for Functional Languages | Scheme and Functional Programming | Jeremy G. Siek, Walid Taha | Whole Paper | Prashant | |
| Nov 18 | Out of the Tar Pit | Ben Moseley, Peter Marks | Sections: 1 4 5.2 7 | Ghadeer | ||
| Oct 28 | StateCharts: A Visual Formalism for complex systems | David Harel | Sections 1-3 (inclusive) | Alex | ||
| Oct 21 | Functional Satisfaction | Luc Maranget | whole paper | Divya | ||
| Oct 14 | Scrap Your Zippers | WGP 09 | Michael D. Adams | through section 3 (inclusive) | Kai | |
| Oct 07 | A prettier printer | Phillip Wadler | Whole Paper | Daniel | Must read |
| Date | Title | Journal/Conference | Authors | Selection | Leader |
|---|---|---|---|---|---|
| Jun 19 | The Cambridge handbook of computing education research (CHofCEdR) | Ch 0, 1 | Parisa | ||
| Jun 26 | CHofCEdR | Ch 12 up to and not including 12.3.5 | Ameya | ||
| Jul 3 | CHofCEdR | Ch 12 from (including) 12.3.5 to the end | Divya | ||
| Jul 10 | CHofCEdR | Ch 13 | Ameya | ||
| Jul 17 | CHofCEdR | Ch 13 | Daniel | ||
| Jul 24 | CHofCEdR | Ch 14 | Kai | ||
| Jul 31 | CHofCEdR | Ch 16 | Jeff | ||
| Aug 7 | CHofCEdR | Ch 17 | Parisa | ||
| Aug 14 | CHofCEdR | Ch 19 | Divya | ||
| Aug 21 | - | - | - | ||
| Aug 28 | CHofCEdR | Ch 24 | Jeff | ||
| Sep 4 | CHofCEdR | Ch 20 | Kai | ||
| May 29th | Typed Tagless Final Interpreters | Oleg Kiselyov | 1-2.3, 2.4, inclusive | Parisa | |
| May 22 | Total Function Programming | JFP 2004 | D.A. Turner | Whole Paper | Prashant |
| May 17 | Algorithmic Debugging forLazy Functional Languages | JFP 1994 | Henrik Nilsson and Peter Fritzson | Not Section 6 | Divya |
| May 8 | An overview of the PL.8 compiler | 1984 ACM | Mark A. Auslander, Martin Hopkins | Whole Paper | Nasrin |
| May 1 | Chapter 17: Program transformation and the operational approach | Functional Programming. Addison-Wesley, 1988. | Anthony J. Field and Peter Harrison | Whole Chapter | Qiaoran |
| Apr 24 | Deforestation: Transformation to eliminate trees | Phil Wadler | Whole Paper | Ameya | |
| Apr 17 | Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation | JFP 2013 | Edwin Brady | 3 - 4.4 (Inclusive) | Mihai |
| Apr 10 | Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation | JFP 2013 | Edwin Brady | 3 - 4.4 (Inclusive) | Jeff |
| Apr 03 | Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation | JFP 2013 | Edwin Brady | 3 - 4.4 (Inclusive) | Parisa |
| Mar 13 | Haskell Boards the Ferry | George Giorgidze, Torsten Grust, Tom Schreiber, and Jeroen Weijers | Whole paper | Qiaoran | |
| Mar 6 | A Short Introduction to Systems F and Fω | Pablo Nogueira | Whole paper | Nasrin | |
| Feb 20 | Propositions as Types | Communications of the ACM, Dec 10 2015 | Philip Wadler | Whole Paper | Prashant |
| Feb 13 | Deriving Via | Haskel Symposium | Baldur Blondal, Andres Loh, Ryan Scott | Whole Paper | Mihai |
| Feb 6 | Monads for Functional Programming | Philip Wadler | Sections 1-3 inclusive, Section 5 optional | Parisa | |
| Jan 30 | Gradual Program Verification | VMCAI 2018 | Johannes Bader, Jonathan Aldrich, Eric Tanter | Whole Paper | Divya |
| Jan 23 | Gradual Typing for Functional Languages | Scheme and Functional Programming 2006 | Jeremy G. Siek, Walid Taha | Whole Paper | Ameya |
| Jan 9 | Build Systems à la carte | ICFP 2018 | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones | Sections 1-3 inclusive | Jeff |
| Nov 21 | Functional Pearl: Trouble Shared is Trouble Halved | Richard Bird and Ralf Hinze | Whole paper | Nasrin | |
| Nov 14 | Live Functional Programming with Typed Holes | Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer | Whole paper | Divya | |
| Oct 31 | Scopes as Types | Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser | Whole paper (2.4, 2.5 optional) | Ameya | |
| Oct 24 | SymInfer: inferring program invariants using symbolic states | T. Nguyen, M. Dwyer, and W. Visser | Whole paper | Mihai | |
| Oct 17 | Dependent Type Providers | David Raymond Christiansen | Whole paper | Qiaoran | |
| Oct 10 | A Survey of Symbolic Execution Techniques | CSUR | Baldoni. R, .. etc | 1-4 (inclusive) | Prashant |
| Oct 3 | Martin-Lof Type Theory | B. Nordstrom, K. Petersson, and J. M. Smith | 1-4 (inclusive) | Parisa | |
| Sep 26 | Typed Faceted Values for Secure Information Flow in Haskell | Thomas H. Austin,Kenneth Knowles,Cormac Flanagan | Whole paper | Ghadeer |
| Date | Title | Journal/Conference | Authors | Selection | Leader |
|---|---|---|---|---|---|
| Summer 2018 | Software Foundations | Volume 1 | |||
| May 30 | How to write a financial contract | Simon Peyton Jones, Jean-Marc Eber | Whole paper | Jeff | |
| May 23 | VSAT presentation for FOSD 2018 | FOSD 2018 | Jeff | Jeff | |
| May 16 | The Essence of the Iterator Pattern | JFP | Jeremy Gibbons, Bruno C.d.S. Oliveira | Sections 1-4 inclusive | Jeff |
| May 9 | Automated Feedback Generation for Introductory Programming Assignments | PLDI '13 | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama | Whole Paper | Mihai |
| May 2 | Imperative functional programming | POPL '93 | Simon Peyton Jones, Phillip Wadler | Whole Paper | Parisa |
| April 25 | Domain Specific Embedded Compilers | DSL '99 | Daan Leijen, Erik Meijer | Whole Paper | Qiaoran |
| April 18 | LiquidHaskell: Experience with Refinement Types in the Real World | Niki Vazou, Eric L. Seidel, Ranjit Jhala | Whole Paper | Alex | |
| April 11 | Folding Domain-Specific Languages: Deep and Shallow Embeddings | ICFP '14 | Jeremy Gibbons, Nicolas Wu | Whole Paper | Karl |
| April 4 | Linear Types can change the world! | IFIP 1990 | Phillip Wadler | Whole Paper | Ghadeer |
| Mar 7 | An Introduction to Algebraic Effects and Handlers Invited tutorial paper | Matija Pretnar | Whole Paper | Ghadeer | |
| Feb 28 | Monadic Parsing in Haskell | Graham Hutton, Erik Meijer | Whole Paper | Qiaoran | |
| Feb 21 | Algorithmic Debugging of Real World Haskell Programs: Deriving Dependencies from the Cost Centre Stack | PLDI 15 | Maarten Faddegon, Olaf Chitil | Magesh | |
| Feb 14 | Multiple Facets for Dynamic Information Flow | Thomas H. Austin, Cormac Flanagan | Whole Paper | Alex | |
| Jan 31 | Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) | E. Seidel, R. Jhala, W. Weimer | Whole Paper | Mihai | |
| Jan 17 | Propositions as Types | Communications of the ACM, Dec 10 2015 | Philip Wadler | Whole Paper | Jeff |
| Nov 15 | The Linearity Monad | Proceeding Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell | Jennifer Paykin and Steve Zdancewic | Whole paper, no Appendices | Mike |
| Nov 8 | Programming With Abstract Data Types | Proceedings of the ACM SIGPLAN symposium on Very high level languages | Barbara Liskov and Stephen Zilles | Whole paper | Ghadeer |
| Nov 1 | Semantics Of Programming Languages (CS3017) Course Notes 2012-2013 | Matthew Hennessey | Chapter 1 | Mihai | |
| Oct 25 | How to make ad-hoc polymorphism less ad-hoc | 16'th Symposium on Principles of Programming Languages, ACM Press, Austin, Texas, January 1989. | Philip Wadler and Stephen Blott. | Whole paper, no Appendices | Alex |
| Oct 18 | Algebraic Identities for Program Calculation | The Computer Journal, Volume 32, Issue 2, 1 January 1989 | R. S. Bird | Whole paper (pgs 122-126) | Deepthi |
| Oct 11 | Type Systems | Handbook of Computer Science and Engineering 1996. | Cardelli | Sections 5, 6 | Karl |
| Oct 4 | Type Systems | Handbook of Computer Science and Engineering 1996. | Cardelli | Section 3: pg 14-22. Section 4 | Magesh |
| Oct 4 | Type Systems | Handbook of Computer Science and Engineering 1996. | Cardelli | Intro: pg 1, 5-6. Section 2: pg 9-12. Section 3 pg 12-17 | Jeff |
- May 24: Erwig et al., "An Abstract Representation of Variational Graphs", FOSD 2012. (Meng)
- May 10: Perera et al., "Functional Programs that Explain their Work", ICFP 2012. (Magesh)
- Apr 26: Claessen et al., "QuickSpec: Guessing Formal Specifications Using Testing", TAP 2010. (Deepthi)
- Apr 5: Ko, "If Learning to Code Were Like Learning to Write", 2016. (Keeley)
- Mar 8: Hinze, "A Simple Implementation Technique for Priority Search Queues", 2001. (Meng)
- Mar 1: Feigenspan et al., "Using Background Colors to Support Program Comprehension in Software Product Lines", EASE 2011. (Keeley)
- Feb 22: Chen and Erwig, "Counter-factual typing for debugging type errors", 2014. (Magesh)
- Feb 1: Brady, "Programming and reasoning with algebraic effects and dependent types", 2013. (Alex)
- Jan 25: Blumenkrants et al., "Narrative algorithm visualization", 2006. (Jeff)
- Jan 18: Swierstra, W., "Data types à la carte", JFP 2008. (Karl)
- Nov 30: Gibbons, Jeremy, "Origami programming", 2003. (Karl)
- Nov 23: Fischer et al., "A play on regular expressions: functional pearl", 2010. (Deepthi)
- Nov 16: Demaine et al., "Retroactive data structures", TALG 2007. (Meng)
- Nov 9: Kiselyov et al., "Lightweight monadic regions", 2008. (Mike)
- Oct 26: Thielecke, "An introduction to operational semantics and abstract machines (Principles of Programming Languages Notes)", 2012, 16-24. (Alex)
- Oct 19: Thielecke, "An introduction to operational semantics and abstract machines (Principles of Programming Languages Notes)", 2012, 3-9 and 12-15. (Chao)
- Oct 12: Milner, "The Polyadic pi-Calculus: A Tutorial", 1991. (Magesh)
- Oct 5: Clarke et al., "Bounded Model Checking Using Satisfiability Solving", 2001. (Xiangyu)
- Sep 28: Hoare, "An axiomatic basis for computer programming", 1969. (Jeff)
- Sep 21: Plasmeijer et al., "Task-Oriented Programming in a Pure Functional Language", PPDP 2012. (Keeley)
- Summer 2016: Nielsen et al., Principles of Program Analysis, 1999.
- May 25: Mintent, "FRP Explanation Using reactive-banana", Haskell Wiki 2012. (Keeley)
- May 18: Ager et al., "A Functional Correspondence between Evaluators and Abstract Machines", PPDP 2003. (Chao)
- May 11: Khanna et al., "A Formal Investigation of Diff3", FSTTCS 2007. (Deepthi)
- May 4: de Vries et al., "Uniqueness Typing Simplified", IFL 2007. (Mike)
- Apr 27: Hinze and Paterson, "Finger Tree: A Simple General-Purpose Data Structure", JFP 2006. (Meng)
- Apr 20: Traver, "On Compiler Error Messages: What They Say and What They Mean", Advances in HCI 2010. (Rick)
- Apr 13: O'Neill et al., "A New Method for Functional Arrays", JFP 1997. (Karl)
- Apr 6: Neron et al., "A Theory of Name Resolution", ESOP 2015. (Xiangyu)
- Mar 30: Rondon et al., "Liquid Types", PLDI 2008. (Spencer)
- Mar 9: Erdweg et al., "A Co-Textual Formulation of Type Rules and its Application to Incremental Type Checking", OOPSLA 2015. (Xiangyu)
- Feb 17: Austin et al., "Faceted Execution of Policy-Agnostic Programs", PLAS 2013. (Meng)
- Feb 3 & 10: Wadler, "A Taste of Linear Logic", Lecture 1993. (Mike & Eric)
- Jan 27: Christiansen, "Dependent Type Providers", WGP 2013. (Deepthi)
- Jan 20: Christiansen, "Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection", IFL 2014. (Keeley)
- Jan 13: Brady, "Idris, A General-Purpose Dependently Typed Programming Language: Design and Implementation", JFP 2013. (Spencer)
- Jan 6: Minamide, "A Functional Representation of Data Structures with a Hole", POPL 1998. (Karl)
- Dec 16: Wadler and Blott, "How to make ad-hoc polymorphism less ad hoc", POPL 1989. (Mike)
- Dec 2: Bird and Hinze, "Functional Pearl: Trouble Shared is Trouble Halved", Haskell 2003. (Deepthi)
- Nov 25: Peyton Jones, "How to Write a Great Research Paper", Lecture 2012. (Eric)
- Nov 18: Gaster and Jones, "A Polymorphic Type System for Extensible Records and Variants", Tech Report 1996. (Keeley)
- Nov 4: Bauer and Pretnar, "Programming with Algebraic Effects and Handlers", JLAMP 2012. (Meng)
- Oct 12: Odersky et al., "Generics of a Higher Kind", OOPSLA 2008. (Spencer)
- Oct 7: Hu et al., "How Functional Programming Mattered", National Science Review 2015. (Xiangyu)
- Sep 30: Hughes, "Why Functional Programming Matters", Computer Journal 1989. (Chao)
- Summer 2015: Harper, Practical Foundations for Programming Languages, 2015.
- Jun 6: Kell, "In Search of Types", Onward 2014. (Eric)
- May 27: Ko, "PLs are the least usable, but most powerful HCIs ever invented", blog post 2014. (Eric)
- May 20: Castagna et al., "Polymorphic Functions with Set-Theoretic Types", POPL 2014. (Sheng)
- May 13: Lämmel and Peyton Jones, "Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming", TLDI 2003. (Keying)
- May 6: Claessen and Hughes, "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs", ICFP 2000. (Chao)
- Apr 29: Foster et al., "Combinators for Bi-Directional Tree Transformations", POPL 2005. (Xin)
- Apr 22: Brady, "Programming and Reasoning with Algebraic Effects and Dependent Types", ICFP 2013. (Xiangyu)
- Apr 15: Quinn and Bederson, "A Taxonomy of Distributed Human Computation", Tech Report 2009. (Keeley)
- Apr 1: Devriese and Piessens, "On the Bright Side of Type Classes: Instance Arguments in Agda", ICFP 2011. (Karl)
- Mar 18: Pombrio and Krishnamurthi, "Resugaring: Lifting Evaluation Sequences through Syntactic Sugar", PLDI 2014. (Sheng)
- Mar 11: Gibbons and Wu, "Folding Domain Specific Languages: Deep and Shallow Embeddings", ICFP 2014. (Eric)
- Feb 25: Van Horn and Might, "Abstracting Abstract Machines", ICFP 2010. (Chao)
- Feb 18: Austin et al., "Typed Faceted Values for Secure Information Flow in Haskell", Tech Report 2014. (Keying)
- Feb 11: Tatarinov et al., "Updating XML", SIGMOD 2001. (Xin)
- Jan 27: Edwards et al., "A Temporal Model for Multi-Level Undo and Redo", UIST 2000. (Xiangyu)
- Jan 21: Peyton Jones et al., "Type classes: an exploration of the design space", Haskell 1997. (Karl)
- Jan 14: Little et al., "TurKit: Human Computation Algorithms on Mechanical Turk", UIST 2010. (Keeley)
- Dec 17: Harris et al., "Composable Memory Transactions", PPoPP 2005. (Keying)
- Dec 3: Fenwick and Vyas, "Error Reporting Parsers: A Monad Transformer Approach", Monad.Reader 2013. (Sheng)
- Nov 26: He and Singh, "Graphs-at-a-time: Query Language and Access Methods for Graph Database", SIGMOD 2008. (Xin)
- Nov 19: Swierstra and Löh, "The Semantics of Version Control", Onward! 2014. (Xiangyu)
- Nov 12: Cook, "On Understanding Data Abstraction, Revisited", OOPSLA 2009. (Eric)
- Oct 29: Lämmel and Ostermann, "Software Extension and Integration with Type Classes", GPCE 2006. (Karl)
- Oct 15: Ramsey, "On Teaching How to Design Programs", ICFP 2014 (Eric)
- Oct 8: Bogart et al., "Natural Programming Plus", CHI 2012. (Keeley)
- Oct 1: Cardelli, "Type Systems", Handbook of Computer Science and Engineering 1996. (Sheng)
- Sep 24: Hughes, "Why Functional Programming Matters", Computer Journal 1989. (Eric)