Centril / interesting-papers

An add space for people to share interesting papers on PLT

Centril/interesting-papers Issues

Objects of Categories as Complex Numbers
Updated 6 years ago
Dependent Information Flow Types (POPL 15)
Updated 6 years ago
Sound and Complete Bidirectional Typechecking for Higher- Rank Polymorphism with Existentials and Indexed Types
Updated 6 years ago1
Type-Preserving CPS Translations of Σ and Π Types is Not Not Possible
Updated 6 years ago
RustBelt: Securing the Foundations of the Rust Programming Language
Updated 6 years ago
Checking Interference with Fractional Permissions
Updated 6 years ago
Linear Regions Are All You Need
Updated 6 years ago
Dependent Types and Multi-monadic Effects in F*
Updated 6 years ago
Typed Closure Conversion for the Calculus of Constructions
Updated 6 years ago
Integrating Dependent and Linear Types
Updated 6 years ago
Polymorphic effect systems (POPL 1988)
Updated 6 years ago
1ML with Special Effects, F-ing Generativity Polymorphism
Updated 6 years ago
Do be do be do (Frank)
Updated 6 years ago
Koka: Programming with Row-polymorphic Effect Types
Updated 6 years ago1
Programming and Reasoning with Algebraic Effects and Dependent Types
Updated 6 years ago
Noninterference for Free
Updated 6 years ago
Practical Affine Types
Updated 6 years ago
Hybrid partial-total total type theory
Updated 6 years ago
A Predicative Analysis of Structural Recursion
Updated 6 years ago