Centril/interesting-papers

Issues

• Objects of Categories as Complex Numbers

  #19 opened 6 years ago by varkor
  0

• Dependent Information Flow Types (POPL 15)

  #18 opened 6 years ago by Centril
  0

• Sound and Complete Bidirectional Typechecking for Higher- Rank Polymorphism with Existentials and Indexed Types

  #7 opened 6 years ago by Centril
  1

• Type-Preserving CPS Translations of Σ and Π Types is Not Not Possible

  #9 opened 6 years ago by aatxe
  0

• RustBelt: Securing the Foundations of the Rust Programming Language

  #14 opened 6 years ago by aatxe
  0

• Checking Interference with Fractional Permissions

  #13 opened 6 years ago by aatxe
  0

• Linear Regions Are All You Need

  #12 opened 6 years ago by aatxe
  0

• Dependent Types and Multi-monadic Effects in F*

  #11 opened 6 years ago by aatxe
  0

• Typed Closure Conversion for the Calculus of Constructions

  #10 opened 6 years ago by aatxe
  0

• Integrating Dependent and Linear Types

  #8 opened 6 years ago by aatxe
  0

• Polymorphic effect systems (POPL 1988)

  #4 opened 6 years ago by Centril
  0

• 1ML with Special Effects, F-ing Generativity Polymorphism

  #2 opened 6 years ago by Centril
  0

• Do be do be do (Frank)

  #1 opened 6 years ago by Centril
  0

• Koka: Programming with Row-polymorphic Effect Types

  #17 opened 6 years ago by aatxe
  1

• Programming and Reasoning with Algebraic Effects and Dependent Types

  #3 opened 6 years ago by Centril
  0

• Noninterference for Free

  #15 opened 6 years ago by aatxe
  0

• Practical Affine Types

  #16 opened 6 years ago by aatxe
  0

• Hybrid partial-total total type theory

  #6 opened 6 years ago by Centril
  0

• A Predicative Analysis of Structural Recursion

  #5 opened 6 years ago by Centril
  0