default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd TFP 2022: Virtual Event
- Wouter Swierstra
, Nicolas Wu:
Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13401, Springer 2022, ISBN 978-3-031-21313-7 - Ruslan Shevchenko:
Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream? 1-17 - Cas van der Rest, Casper Bach Poulsen:
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). 18-38 - Mart Lubbers:
Deep Embedding with Class. 39-58 - Youyou Cong, Kenichi Asai:
Understanding Algebraic Effect Handlers via Delimited Control Operators. 59-79 - Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman:
Reducing the Power Consumption of IoT with Task-Oriented Programming. 80-99 - Tosca Klijnsma, Tim Steenvoorden:
Semantic Equivalence of Task-Oriented Programs in TopHat. 100-125 - Johannes Hartmann, Jeremy Gibbons:
Algorithm Design with the Selection Monad. 126-143 - Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen:
Sound and Complete Type Inference for Closed Effect Rows. 144-168 - Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen:
Towards Efficient Adjustment of Effect Rows. 169-191
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.
last updated on 2025-01-18 01:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
