Search results

Covariance and Controvariance: a fresh look at an old issue by Castagna G., LMCS 2020

typesA paper about typingA paper about typing

Status: Open.

#17 In prgprg-org/reading-group;

· E-Sh4rk opened on Sep 3, 2025

Decidability of Conversion for Type Theory in Type Theory by Andreas Abel, Joakim Öhman, Andrea Vezzosi, POPL 2018

Status: Open.

#16 In prgprg-org/reading-group;

· kubaneko opened on Aug 24, 2025

Types for Tables: A Language Design Benchmark by Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi, <Programming> 2022

data science

dataframes

typesA paper about typingA paper about typing

Status: Open.

#15 In prgprg-org/reading-group;

· programLyrique opened on Jul 10, 2025

Casts and costs: harmonizing safety and performance in gradual typing by John Peter Campora, Sheng Chen, Eric Walkingshaw, ICFP 2018

gradual typing

typesA paper about typingA paper about typing

Status: Open.

#14 In prgprg-org/reading-group;

· programLyrique opened on Jun 13, 2025

Codata in Action by SPJ, ESOP 2019

FPfunctional programmingfunctional programming

Status: Open.

#3 In prgprg-org/reading-group;

· fikovnik opened on Oct 13, 2024

A calculus for overloaded functions with subtyping by Castanga et al., SIGPLAN Lisp Pointers 1992

typesA paper about typingA paper about typing

Status: Open.

#2 In prgprg-org/reading-group;

· fikovnik opened on Oct 11, 2024