Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gasche/popl2018-papers issues and pull requests
#25 - Add preprint links for two papers.
Pull Request -
State: closed - Opened by sighingnow over 6 years ago
#24 - Better Links for Williams-Rémy
Pull Request -
State: closed - Opened by maxsnew over 6 years ago
- 1 comment
#23 - Fix link for Synthesizing Bijective Lenses
Pull Request -
State: closed - Opened by ulysses4ever almost 7 years ago
- 1 comment
#22 - More links
Pull Request -
State: closed - Opened by marsam almost 7 years ago
#21 - preprint link is dead, link to print
Pull Request -
State: closed - Opened by Icelandjack almost 7 years ago
- 1 comment
#20 - +Unifying Analytic and Statically-Typed Quasiquotes
Pull Request -
State: closed - Opened by ulysses4ever almost 7 years ago
- 1 comment
#19 - Two more links
Pull Request -
State: closed - Opened by marsam almost 7 years ago
- 1 comment
#18 - Link to Decomposing Numerical Abstract Domains
Pull Request -
State: closed - Opened by aziem almost 7 years ago
- 1 comment
#17 - Why is Random Testing Effective for Partition Tolerance Bugs?
Pull Request -
State: closed - Opened by ulysses4ever almost 7 years ago
- 1 comment
#16 - More links
Pull Request -
State: closed - Opened by aziem almost 7 years ago
- 1 comment
#15 - Link to Handle with Care preprint
Pull Request -
State: closed - Opened by marsam about 7 years ago
- 1 comment
#14 - String Constraints with Concatenation
Pull Request -
State: closed - Opened by ulysses4ever about 7 years ago
#13 - add links to agda code
Pull Request -
State: closed - Opened by ajrouvoet about 7 years ago
- 3 comments
#12 - Typo and more links
Pull Request -
State: closed - Opened by aziem about 7 years ago
- 1 comment
#11 - Intrinsically typed
Pull Request -
State: closed - Opened by ulysses4ever about 7 years ago
- 1 comment
#10 - More links
Pull Request -
State: closed - Opened by aziem about 7 years ago
- 1 comment
#9 - + some more updates
Pull Request -
State: closed - Opened by ulysses4ever about 7 years ago
- 1 comment
#8 - Some more links
Pull Request -
State: closed - Opened by aziem about 7 years ago
- 1 comment
#7 - Link to preprint for Program Synthesis using Abstract Refinement
Pull Request -
State: closed - Opened by aziem about 7 years ago
- 1 comment
#6 - Add preprint, Migrating Gradual Types.
Pull Request -
State: closed - Opened by walkie about 7 years ago
- 1 comment
#5 - Generating Good Generators for Inductive Relations
Pull Request -
State: closed - Opened by atrieu about 7 years ago
- 1 comment
#4 - Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8
Pull Request -
State: closed - Opened by MattPD about 7 years ago
- 1 comment
#3 - add Capriotti & Kraus
Pull Request -
State: closed - Opened by ggreif about 7 years ago
#2 - Symbolic Types for Lenient Symbolic Execution
Pull Request -
State: closed - Opened by lexi-lambda about 7 years ago
#1 - Danielsson draft
Pull Request -
State: closed - Opened by ggreif about 7 years ago
- 1 comment