Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450371438

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifiably Lazy

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310236 ◽

2018 ◽

Cited By ~ 1

Author(s):

George Stelle ◽

Darko Stefanovic

Download Full-text

Spine-local Type Inference

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310233 ◽

2018 ◽

Cited By ~ 1

Author(s):

Christopher Jenkins ◽

Aaron Stump

Keyword(s):

Type Inference ◽

Local Type

Download Full-text

MIL, a Monadic Intermediate Language for Implementing Functional Languages

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310238 ◽

2018 ◽

Author(s):

Mark P. Jones ◽

Justin Bailey ◽

Theodore R. Cooper

Keyword(s):

Functional Languages ◽

Intermediate Language

Download Full-text

Delta Debugging Type Errors with a Blackbox Compiler

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310243 ◽

2018 ◽

Cited By ~ 2

Author(s):

Joanna Sharrad ◽

Olaf Chitil ◽

Meng Wang

Download Full-text

A DSL embedded in Rust

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310241 ◽

2018 ◽

Author(s):

Kyle Headley

Download Full-text

Task Oriented Programming and the Internet of Things

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310239 ◽

2018 ◽

Cited By ~ 1

Author(s):

Mart Lubbers ◽

Pieter Koopman ◽

Rinus Plasmeijer

Keyword(s):

Internet Of Things ◽

The Internet ◽

Task Oriented ◽

The Internet Of Things

Download Full-text

ESVERIFY

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310240 ◽

2018 ◽

Cited By ~ 1

Author(s):

Christopher Schuster ◽

Sohum Banerjea ◽

Cormac Flanagan

Download Full-text

Pure Functional Epidemics

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310372 ◽

2018 ◽

Cited By ~ 2

Author(s):

Jonathan Thaler ◽

Thorsten Altenkirch ◽

Peer-Olaf Siebers

Download Full-text

Extended Memory Reuse

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310242 ◽

2018 ◽

Author(s):

Hans-Nikolai Vießmann ◽

Artjoms Šinkarovs ◽

Sven-Bodo Scholz

Keyword(s):

Memory Reuse

Download Full-text

HiPErJiT

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 ◽

10.1145/3310232.3310234 ◽

2018 ◽

Author(s):

Konstantinos Kallas ◽

Konstantinos Sagonas

Download Full-text

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Verifiably Lazy

Spine-local Type Inference

MIL, a Monadic Intermediate Language for Implementing Functional Languages

Delta Debugging Type Errors with a Blackbox Compiler

A DSL embedded in Rust

Task Oriented Programming and the Internet of Things

ESVERIFY

Pure Functional Epidemics

Extended Memory Reuse

HiPErJiT

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018
Latest Publications