-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#31 In prgprg-org/reading-group;
- Status: Open.#26 In prgprg-org/reading-group;
Tracing Just-in-Time Compilation for Effects and Handlers by Marcial Gaißert, CF Bolz-Tereick, Jonathan Immanuel Brachthäuser, OOPSLA 2025
effectsEffect systemsEffect systemsStatus: Open.#21 In prgprg-org/reading-group;- Status: Open.#19 In prgprg-org/reading-group;
- Status: Open.#16 In prgprg-org/reading-group;
Types for Tables: A Language Design Benchmark by Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi, <Programming> 2022
typesA paper about typingA paper about typingStatus: Open.#15 In prgprg-org/reading-group;Casts and costs: harmonizing safety and performance in gradual typing by John Peter Campora, Sheng Chen, Eric Walkingshaw, ICFP 2018
typesA paper about typingA paper about typingStatus: Open.#14 In prgprg-org/reading-group;Codata in Action by SPJ, ESOP 2019
FPfunctional programmingfunctional programmingStatus: Open.#3 In prgprg-org/reading-group;A calculus for overloaded functions with subtyping by Castanga et al., SIGPLAN Lisp Pointers 1992
typesA paper about typingA paper about typingStatus: Open.#2 In prgprg-org/reading-group;