Skip to content

Issues: Centril/interesting-papers

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

19 Open 0 Closed
19 Open 0 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Objects of Categories as Complex Numbers category-theory
#19 opened Jun 2, 2018 by varkor
Dependent Information Flow Types (POPL 15) dependent-labels dependent-types information-flow-control language-based-security security-types
#18 opened May 12, 2018 by Centril
Koka: Programming with Row-polymorphic Effect Types effects polymorphism row-polymorphism
#17 opened May 4, 2018 by aatxe
1
Practical Affine Types linear-types polymorphism substructural substructural types or logics
#16 opened May 4, 2018 by aatxe
Noninterference for Free parametricity polymorphism secure-compilation security semantic-type-soundness Type soundness is proved using semantic (as opposed to syntactic) techniques. (Read: mathy)
#15 opened May 4, 2018 by aatxe
RustBelt: Securing the Foundations of the Rust Programming Language coq iris linear-types rust semantic-type-soundness Type soundness is proved using semantic (as opposed to syntactic) techniques. (Read: mathy) separation-logic
#14 opened May 3, 2018 by aatxe
Checking Interference with Fractional Permissions effects linear-capabilities
#13 opened May 3, 2018 by aatxe
Linear Regions Are All You Need linear-capabilities linear-regions linear-types regions
#12 opened May 3, 2018 by aatxe
Dependent Types and Multi-monadic Effects in F* dependent-types effects F* monads
#11 opened May 3, 2018 by aatxe
Typed Closure Conversion for the Calculus of Constructions calculus-of-constructions closure-conversion coq dependent-types type-preserving-compilation
#10 opened May 3, 2018 by aatxe
Type-Preserving CPS Translations of Σ and Π Types is Not Not Possible calculus-of-constructions continuation-passing-style coq dependent-types secure-compilation type-preserving-compilation
#9 opened May 3, 2018 by aatxe
Integrating Dependent and Linear Types dependent-types hoare-triples intersection-types linear-types proof-irrelevance semantic-type-soundness Type soundness is proved using semantic (as opposed to syntactic) techniques. (Read: mathy) separation-logic
#8 opened May 3, 2018 by aatxe
Sound and Complete Bidirectional Typechecking for Higher- Rank Polymorphism with Existentials and Indexed Types bidirectional-typechecking existentials gadt higher-rank-polymorphism indexed-types
#7 opened May 3, 2018 by Centril
1
Hybrid partial-total total type theory totality
#6 opened May 3, 2018 by Centril
A Predicative Analysis of Structural Recursion structural-recursion totality
#5 opened May 3, 2018 by Centril
Polymorphic effect systems (POPL 1988) effects
#4 opened May 3, 2018 by Centril
Programming and Reasoning with Algebraic Effects and Dependent Types algebraic-effects dependent-types edsl effects idris
#3 opened May 3, 2018 by Centril
1ML with Special Effects, F-ing Generativity Polymorphism effects semantic-type-soundness Type soundness is proved using semantic (as opposed to syntactic) techniques. (Read: mathy)
#2 opened May 3, 2018 by Centril
Do be do be do (Frank) algebraic-effects call-by-push-value continuations effects pattern-matching polymorphism
#1 opened May 3, 2018 by Centril
ProTip! Find all open issues with in progress development work with linked:pr.