default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st IFL 2019: Singapore
- Jurriën Stutterheim, Wei-Ngan Chin:
IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM 2019, ISBN 978-1-4503-7562-7 - Nico Naus
, Tim Steenvoorden, Markus Klinik:
A symbolic execution semantics for TopHat. 1:1-1:11 - Olivier Danvy:
Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students. 2:1-2:9 - Sebastian Ullrich, Leonardo de Moura:
Counting immutable beans: reference counting optimized for purely functional programming. 3:1-3:12 - Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Interpreting task oriented programs on tiny computers. 4:1-4:12 - Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea:
A functional approach to accelerating Monte Carlo based american option pricing. 5:1-5:12 - Pieter W. M. Koopman, Rinus Plasmeijer:
A new view on parser combinators. 6:1-6:11 - Kanae Tsushima, Olaf Chitil, Joanna Sharrad:
Type debugging with counter-factual type error messages using an existing type checker. 7:1-7:12 - Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek:
A space-efficient call-by-value virtual machine for gradual set-theoretic types. 8:1-8:12 - Camil Staps, John H. G. van Groningen, Rinus Plasmeijer:
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. 9:1-9:12 - Juan García-Garland, Alberto Pardo, Marcos Viera:
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. 10:1-10:12 - Agustín Mista, Alejandro Russo:
Deriving compositional random generators. 11:1-11:12 - Adam D. Barwell, Christopher Brown:
A trustworthy framework for resource-aware embedded programming. 12:1-12:12 - Rudi Horn, Simon Fowler, James Cheney:
Language-integrated updatable views. 13:1-13:12 - John H. Reppy, Joe Wingerter:
Shapes and flattening. 14:1-14:11 - Sven-Bodo Scholz, Artjoms Sinkarovs:
Tensor comprehensions in SaC. 15:1-15:13
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 2026-05-27 02:07 CEST 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:
