-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: prgprg-org/reading-group
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Stream Types by Pierce et al, PLDI 2024
FP
functional programming
#10
opened Nov 12, 2024 by
vituscze
Reclaiming the Unexplored in Hybrid Visual Programming by Michael Homer, Onward! 2024
#9
opened Nov 11, 2024 by
jdjakub
Retrofitting effect handlers onto OCaml by KC Sivaramakrishnan and al., PLDI 2021
effects
Effect systems
types
A paper about typing
#8
opened Oct 22, 2024 by
programLyrique
MyWebstrates: Webstrates as Local-first Software by Klokmose et al., UIST 2024
#4
opened Oct 13, 2024 by
fikovnik
A calculus for overloaded functions with subtyping by Castanga et al., SIGPLAN Lisp Pointers 1992
types
A paper about typing
#2
opened Oct 11, 2024 by
fikovnik
ProTip!
Add no:assignee to see everything that’s not assigned.