default search action

combined dblp search
author search
venue search
publication search

ask others

30th IFL 2018: Lowell, MA, USA

> Home > Conferences and Workshops > IFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ifl/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2018
Matteo Cimini, Jay McCarthy:
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018. ACM 2018, ISBN 978-1-4503-7143-8
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ThalerAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ThalerAS18
Jonathan Thaler, Thorsten Altenkirch, Peer-Olaf Siebers:
Pure Functional Epidemics: An Agent-Based Approach. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SharradCW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SharradCW18
Joanna Sharrad, Olaf Chitil, Meng Wang:
Delta Debugging Type Errors with a Blackbox Compiler. 13-24
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/KallasS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/KallasS18
Konstantinos Kallas, Konstantinos Sagonas:
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. 25-36
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/JenkinsS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/JenkinsS18
Christopher Jenkins, Aaron Stump:
Spine-local Type Inference. 37-48
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/StelleS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/StelleS18
George Stelle, Darko Stefanovic:
Verifiably Lazy: Verified Compilation of Call-by-Need. 49-58
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SchusterBF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SchusterBF18
Christopher Schuster, Sohum Banerjea, Cormac Flanagan:
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. 59-70
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/JonesBC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/JonesBC18
Mark P. Jones, Justin Bailey, Theodore R. Cooper:
MIL, a Monadic Intermediate Language for Implementing Functional Languages. 71-82
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/LubbersKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LubbersKP18
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Task Oriented Programming and the Internet of Things. 83-94
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VieraBP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VieraBP18
Marcos Viera, Florent Balestrieri, Alberto Pardo:
A Staged Embedding of Attribute Grammars in Haskell. 95-106
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ViessmannSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ViessmannSS18
Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz:
Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. 107-118
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Headley18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Headley18
Kyle Headley:
A DSL embedded in Rust. 119-126

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.