Paper ideas - Winter 2024/25

[tpetricek]

Send your paper ideas here.

• Please post one paper per issue!

• Please make it clear if you are willing to read the paper and lead the discussion about it, or if you are merely interested in the paper, but would prefer someone else to discuss it.

• Use 👍 reaction to vote for papers you would like to read at the reading group. Use ❤️ if you like the paper so much you want to present it. We can also add 🚀 for scheduled papers.

[tpetricek]

Ideas from M. sent by email:

• Paul Downen, Zachary Sullivan, Zena M. Ariola & Simon Peyton Jones. Codata in Action

[tpetricek]

I have this paper on my reading list:

• Clemens Nylandsted Klokmose, James R. Eagan, Peter van Hardenberg. MyWebstrates: Webstrates as Local-first Software

[tpetricek]

Ideas from M. sent by email:

• David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann. Grokking the Sequent Calculus

[tpetricek]

From Pierre back in June:

• Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn. Type-Level Computations for Ruby Libraries
• Alternatively other papers from Jeffrey Foster's group such as (but Tomas liked the above the best!)
  • Just-in-Time Static Type Checking for Dynamic Languages
  • SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
  • The Ruby Type Checker
  • Static Typing for Ruby on Rails
  • Dynamic Inference of Static Types for Ruby

[fikovnik]

Digging more into types:

A Calculus for Overloaded Functions with Subtyping

Authors: Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

ACM SIGPLAN Lisp Pointers, Volume V, Issue 1

[fikovnik]

I hope I converted all into the issue paper per issue. Please update your votes.