centril/interesting-papers issues and pull requests

#19 - Objects of Categories as Complex Numbers

Issue - State: open - Opened by varkor over 6 years ago
Labels: category-theory

#18 - Dependent Information Flow Types (POPL 15)

Issue - State: open - Opened by Centril over 6 years ago
Labels: dependent-types, dependent-labels, security-types, information-flow-control, language-based-security

#17 - Koka: Programming with Row-polymorphic Effect Types

Issue - State: open - Opened by aatxe almost 7 years ago - 1 comment
Labels: effects, polymorphism, row-polymorphism

#16 - Practical Affine Types

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: linear-types, substructural, polymorphism

#15 - Noninterference for Free

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: secure-compilation, semantic-type-soundness, parametricity, security, polymorphism

#14 - RustBelt: Securing the Foundations of the Rust Programming Language

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: rust, linear-types, separation-logic, coq, iris, semantic-type-soundness

#13 - Checking Interference with Fractional Permissions

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: effects, linear-capabilities

#12 - Linear Regions Are All You Need

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: linear-types, linear-regions, regions, linear-capabilities

#11 - Dependent Types and Multi-monadic Effects in F*

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: effects, dependent-types, F*, monads

#10 - Typed Closure Conversion for the Calculus of Constructions

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: dependent-types, type-preserving-compilation, closure-conversion, calculus-of-constructions, coq

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

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: dependent-types, secure-compilation, continuation-passing-style, type-preserving-compilation, calculus-of-constructions, coq

#8 - Integrating Dependent and Linear Types

Issue - State: open - Opened by aatxe almost 7 years ago
Labels: dependent-types, linear-types, intersection-types, proof-irrelevance, separation-logic, hoare-triples, semantic-type-soundness

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

Issue - State: open - Opened by Centril almost 7 years ago - 1 comment
Labels: bidirectional-typechecking, higher-rank-polymorphism, existentials, indexed-types, gadt

#6 - Hybrid partial-total total type theory

Issue - State: open - Opened by Centril almost 7 years ago
Labels: totality

#5 - A Predicative Analysis of Structural Recursion

Issue - State: open - Opened by Centril almost 7 years ago
Labels: structural-recursion, totality

#4 - Polymorphic effect systems (POPL 1988)

Issue - State: open - Opened by Centril almost 7 years ago
Labels: effects

#3 - Programming and Reasoning with Algebraic Effects and Dependent Types

Issue - State: open - Opened by Centril almost 7 years ago
Labels: effects, algebraic-effects, idris, edsl, dependent-types

#2 - 1ML with Special Effects, F-ing Generativity Polymorphism

Issue - State: open - Opened by Centril almost 7 years ago
Labels: effects, semantic-type-soundness

#1 - Do be do be do (Frank)

Issue - State: open - Opened by Centril almost 7 years ago
Labels: effects, algebraic-effects, polymorphism, call-by-push-value, pattern-matching, continuations

Ecosyste.ms: Issues

GitHub / centril/interesting-papers issues and pull requests