Stop the war!
Остановите войну!
for scientists:
default search action
Journal of Functional Programming, Volume 34
Volume 34, 2024
- Kazutaka Matsuda, Meng Wang:
Sparcl: A language for partially invertible computation. - Cameron Moy:
Knuth-Morris-Pratt illustrated. - Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi:
Alice or Bob?: Process polymorphism in choreographies. - Chenghao Su, Lin Chen, Yanhui Li, Yuming Zhou:
Static Blame for gradual typing. - Daniel Hillerström, Sam Lindley, John Longley:
Asymptotic speedup via effect handlers. - Michael Sperber:
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020). - Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.