IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 14)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM

9781450389631

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Validating Formal Semantics by Property-Based Cross-Testing

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462200 ◽

2020 ◽

Author(s):

Péter Bereczky ◽

Dániel Horpácsi ◽

Judit K?szegi ◽

Soma Szeier ◽

Simon Thompson

Keyword(s):

Formal Semantics

Download Full-text

Building an Integrated Development Environment (IDE) on top of a Build System

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462180 ◽

2020 ◽

Author(s):

Neil Mitchell ◽

Moritz Kiefer ◽

Pepe Iborra ◽

Luke Lau ◽

Zubin Duggal ◽

...

Keyword(s):

Integrated Development Environment ◽

Development Environment ◽

Integrated Development ◽

Download Full-text

Zero-Cost Constructor Subtyping

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462194 ◽

2020 ◽

Author(s):

Andrew Marmaduke ◽

Christopher Jenkins ◽

Aaron Stump

Download Full-text

Effective Host-GPU Memory Management Through Code Generation

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462199 ◽

2020 ◽

Author(s):

Hans-Nikolai Vießmann ◽

Sven-Bodo Scholz

Keyword(s):

Code Generation ◽

Memory Management

Download Full-text

Type- and Control-Flow Directed Defunctionalization

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462193 ◽

2020 ◽

Author(s):

Maheen Riaz Contractor ◽

Matthew Fluet

Keyword(s):

Control Flow ◽

Download Full-text

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462192 ◽

2020 ◽

Author(s):

Sólrún Halla Einarsdóttir ◽

Nicholas Smallbone ◽

Moa Johansson

Download Full-text

HoCL: High level specification of dataflow graphs

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462185 ◽

2020 ◽

Author(s):

Jocelyn Sérot

Keyword(s):

Dataflow Graphs ◽

Download Full-text

Typed Directional Composable Editors in iTasks

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462197 ◽

2020 ◽

Author(s):

Bas Lijnse ◽

Rinus Plasmeijer

Download Full-text

End-user feedback in multi-user workflow systems

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462188 ◽

2020 ◽

Author(s):

Nico Naus ◽

Johan Jeuring

Keyword(s):

User Feedback ◽

End User ◽

Workflow Systems

Download Full-text

A Declarative Gradualizer with Language Transformations

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462190 ◽

2020 ◽

Author(s):

Benjamin Mourad ◽

Matteo Cimini

Download Full-text