Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / yallop/popl2015-papers issues and pull requests

#41 - Add link to *A Calculus for Relaxed Memory*

Pull Request - State: closed - Opened by z3t1 over 8 years ago - 2 comments

#40 - Update the link to "Dependent Information Flow Types".

Pull Request - State: closed - Opened by yallop over 8 years ago

#39 - Share the URL-checking script between repositories.

Pull Request - State: closed - Opened by yallop over 8 years ago

#38 - Update broken links

Pull Request - State: closed - Opened by yallop about 9 years ago

#37 - add a popl2016 link

Pull Request - State: closed - Opened by gasche about 9 years ago - 1 comment

#36 - Add a link to "Self-Representation in Girard's System U"

Pull Request - State: closed - Opened by yallop almost 10 years ago

#35 - Updated link to "K-Java: A Complete Semantics of Java"

Pull Request - State: closed - Opened by yallop almost 10 years ago

#34 - Add link to "Algebraic effects linearity and quantum programming languages"

Pull Request - State: closed - Opened by yallop almost 10 years ago

#32 - Remove broken link to "K-Java: A Complete Semantics of Java"

Pull Request - State: closed - Opened by yallop almost 10 years ago - 4 comments

#31 - Add link to "Equations, Contractions, and Unique Solutions"

Pull Request - State: closed - Opened by yallop almost 10 years ago

#30 - Add link for "Tractable Refinement Checking for Concurrent Objects"

Pull Request - State: closed - Opened by queertypes almost 10 years ago

#29 - Add link for "On Characterizing the Data Access Complexity of Programs"

Pull Request - State: closed - Opened by queertypes almost 10 years ago

#28 - Add link to "Full Abstraction for Signal Flow Graphs"

Pull Request - State: closed - Opened by queertypes almost 10 years ago

#27 - Add link to "K-Java: A Complete Semantics of Java"

Pull Request - State: closed - Opened by queertypes almost 10 years ago

#26 - Add link to "Proof Spaces for Unbounded Parallelism"

Pull Request - State: closed - Opened by queertypes almost 10 years ago

#25 - Add link to Faster Algorithms for Algebraic Path...

Pull Request - State: closed - Opened by queertypes almost 10 years ago

#24 - Add link to "Summary-Based Context-Sensitive Data-Dep..."

Pull Request - State: closed - Opened by queertypes almost 10 years ago - 2 comments

#23 - Add link to "Higher Inductive Types as Homotopy-Initial Algebras"

Pull Request - State: closed - Opened by queertypes almost 10 years ago - 4 comments

#22 - Add link to "Decentralizing SDN Policies".

Pull Request - State: closed - Opened by yallop almost 10 years ago

#21 - Links to my 3 papers on my web site

Pull Request - State: closed - Opened by achlipala almost 10 years ago - 1 comment

#20 - Update README.md

Pull Request - State: closed - Opened by csoroz about 10 years ago - 1 comment

#19 - Link to [Bastani et al.]

Pull Request - State: closed - Opened by mbenke about 10 years ago - 1 comment

#18 - Add link to 'Compositional CompCert'.

Pull Request - State: closed - Opened by yallop about 10 years ago

#17 - Links to [Gu et al.]

Pull Request - State: closed - Opened by mbenke about 10 years ago - 1 comment

#16 - Link to [Agten,Jacobs,Piessens]

Pull Request - State: closed - Opened by mbenke about 10 years ago - 1 comment

#15 - Update README.md

Pull Request - State: closed - Opened by ebadi about 10 years ago - 1 comment

#14 - Update README.md

Pull Request - State: closed - Opened by vraychev about 10 years ago - 1 comment

#12 - Link to "The essence of hygiene".

Pull Request - State: closed - Opened by yallop about 10 years ago

#11 - The essence of hygiene preprint

Issue - State: closed - Opened by deeglaze about 10 years ago - 1 comment

#10 - Link to "Succinct Representation of Concurrent Trace Sets".

Pull Request - State: closed - Opened by yallop about 10 years ago

#9 - Add a link to POPL 2013 preprints.

Pull Request - State: closed - Opened by 23Skidoo about 10 years ago

#8 - eliminate duplicate authors

Pull Request - State: closed - Opened by ggreif about 10 years ago - 1 comment

#7 - Remove broken link to "Deep Specifications and Certified Abstraction Layers"

Pull Request - State: closed - Opened by yallop about 10 years ago

#6 - Travis script for checking URLs.

Pull Request - State: closed - Opened by yallop about 10 years ago

#5 - Update README.md

Pull Request - State: closed - Opened by gasche about 10 years ago - 3 comments

#4 - Update link

Pull Request - State: closed - Opened by mgree about 10 years ago - 2 comments

#3 - Found DReX paper

Pull Request - State: closed - Opened by mgree about 10 years ago - 2 comments

#2 - Typo in Neel K.'s URL

Pull Request - State: closed - Opened by mgree about 10 years ago - 1 comment

#1 - Add a link to my TR

Pull Request - State: closed - Opened by mgree about 10 years ago - 1 comment