Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd IFL 2020: Virtual Event / Canterbury, UK
- Olaf Chitil:
IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020. ACM 2020, ISBN 978-1-4503-8963-1 - Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman:
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE. 1-10 - Jocelyn Sérot:
HoCL: High level specification of dataflow graphs. 11-22 - Nico Naus
, Johan Jeuring:
End-user feedback in multi-user workflow systems. 23-32 - Joris Burgers, Jurriaan Hage, Alejandro Serrano:
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. 33-43 - Benjamin Mourad, Matteo Cimini:
A Declarative Gradualizer with Language Transformations. 44-54 - Kavon Farvardin, John H. Reppy:
A New Backend for Standard ML of New Jersey. 55-66 - Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson:
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. 67-78 - Maheen Riaz Contractor, Matthew Fluet:
Type- and Control-Flow Directed Defunctionalization. 79-92 - Andrew Marmaduke, Christopher Jenkins, Aaron Stump:
Zero-Cost Constructor Subtyping. 93-103 - Sara Moreira, Pedro B. Vasconcelos, Mário Florido:
Resource Analysis for Lazy Evaluation with Polynomial Potential. 104-114 - Bas Lijnse, Rinus Plasmeijer:
Typed Directional Composable Editors in iTasks. 115-126 - Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López:
Polymorphic System I. 127-137 - Hans-Nikolai Vießmann, Sven-Bodo Scholz:
Effective Host-GPU Memory Management Through Code Generation. 138-149 - Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson:
Validating Formal Semantics by Property-Based Cross-Testing. 150-161
a service of 
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 2024-05-03 20:49 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:
