Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / samth/gradual-typing-bib issues and pull requests
#53 - Fix "Gradual typing for objects" url
Pull Request -
State: closed - Opened by imteekay about 1 year ago
- 1 comment
#52 - Formatting the markdown
Pull Request -
State: closed - Opened by imteekay about 1 year ago
#51 - Update the "Evolutionary Programming and Gradual Typing" link
Pull Request -
State: closed - Opened by imteekay about 1 year ago
#50 - some 2021 papers
Pull Request -
State: closed - Opened by jsiek over 2 years ago
#49 - A Gradual Type System for Elixir
Pull Request -
State: closed - Opened by ilya-klyuchnikov over 3 years ago
#48 - add OOPSLA 2020 papers
Pull Request -
State: closed - Opened by jsiek almost 4 years ago
#47 - added some dissertations
Pull Request -
State: closed - Opened by jsiek almost 4 years ago
#46 - POPL 2020
Pull Request -
State: closed - Opened by maxsnew almost 4 years ago
#45 - Preemptive type checking paper
Pull Request -
State: closed - Opened by ilya-klyuchnikov almost 4 years ago
#44 - Update README.md
Pull Request -
State: closed - Opened by jsiek almost 4 years ago
#43 - lots of new papers about gradual typing in 2020
Pull Request -
State: closed - Opened by jsiek over 4 years ago
#42 - Additions from the Summer and Fall of 2019
Pull Request -
State: closed - Opened by jsiek about 5 years ago
#41 - add complete monitors, oopsla'19
Pull Request -
State: closed - Opened by bennn about 5 years ago
#40 - Add "Gradual Typing for Python, Unguarded"
Pull Request -
State: closed - Opened by marsam about 5 years ago
#39 - some additions
Pull Request -
State: closed - Opened by jsiek over 5 years ago
#38 - Added our Hazelnut Live paper
Pull Request -
State: closed - Opened by cyrus- almost 6 years ago
#37 - POPL 2019 papers
Pull Request -
State: closed - Opened by jsiek almost 6 years ago
#36 - Added paper from ITRS 2018
Pull Request -
State: closed - Opened by jsiek almost 6 years ago
#35 - new entry
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#34 - chronological ordering on year of publication
Pull Request -
State: closed - Opened by deyaaeldeen about 6 years ago
#33 - fix tiny typo
Pull Request -
State: closed - Opened by deyaaeldeen about 6 years ago
#32 - remove duplicate entry
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#31 - Adding 2 papers
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#30 - Add a few papers on contracts
Pull Request -
State: closed - Opened by jack-williams about 6 years ago
#29 - added The Behavior of Gradual Types: A User Study
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#28 - Change `To Appear` to venue.
Pull Request -
State: closed - Opened by jack-williams about 6 years ago
- 1 comment
#27 - a bunch more from google scholar
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#26 - More additions of papers from google scholar
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#25 - Efficient Gradual Typing
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#24 - ICFP 2018
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#23 - Recent POPL's and a couple more of my papers
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#22 - Add ICFP 2017 and OOPSLA 2017 papers
Pull Request -
State: closed - Opened by jsiek about 6 years ago
#21 - typo: 'Cimmini' -> 'Cimini'
Pull Request -
State: closed - Opened by bennn almost 7 years ago
#20 - add occ typing mod theories to types for untyped
Pull Request -
State: closed - Opened by pnwamk over 7 years ago
#19 - refined criteria for gradual typing
Pull Request -
State: closed - Opened by bennn about 8 years ago
#18 - Aldritch -> Aldrich
Pull Request -
State: closed - Opened by bennn about 8 years ago
- 1 comment
#17 - add Scribble entry for Gray,Findler,Flatt 2005
Pull Request -
State: closed - Opened by bennn about 8 years ago
#16 - typo: fix hosc long name
Pull Request -
State: closed - Opened by bennn over 8 years ago
#15 - add success typing
Pull Request -
State: closed - Opened by bennn over 8 years ago
#14 - typo: asplas -> aplas
Pull Request -
State: closed - Opened by bennn over 8 years ago
#13 - Fixed 404 error
Pull Request -
State: closed - Opened by srinivasreddy over 8 years ago
#12 - add TS paper
Pull Request -
State: closed - Opened by bennn over 8 years ago
#11 - added DLS'15 paper, fixed a typo, added some URLs to pdfs
Pull Request -
State: closed - Opened by etanter almost 9 years ago
#10 - Add ESOP'16 Typed Clojure paper
Pull Request -
State: closed - Opened by frenchy64 almost 9 years ago
#9 - Add POPL'16 papers
Pull Request -
State: closed - Opened by bennn almost 9 years ago
- 2 comments
#8 - adding two missing recent refs
Pull Request -
State: closed - Opened by etanter over 9 years ago
- 1 comment
#7 - Add moar links to Wadler's papers
Pull Request -
State: closed - Opened by jsyeo over 10 years ago
#6 - Add frenchy64's paper
Pull Request -
State: closed - Opened by jsyeo over 10 years ago
#5 - Add Wadler's erlang typing link
Pull Request -
State: closed - Opened by jsyeo over 10 years ago
#4 - Add Polymorphic Contracts link
Pull Request -
State: closed - Opened by frenchy64 over 10 years ago
#3 - Added a handful of links to papers where available.
Pull Request -
State: closed - Opened by jvranish over 10 years ago
#2 - Success typing and other approaches?
Issue -
State: closed - Opened by JoeOsborn over 10 years ago
- 4 comments
#1 - Add Gradualtalk papers
Pull Request -
State: closed - Opened by takikawa about 11 years ago
- 1 comment