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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By ACM

9781450389631
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Validating Formal Semantics by Property-Based Cross-Testing

2020 ◽  
Author(s):  
Péter Bereczky ◽  
Dániel Horpácsi ◽  
Judit K?szegi ◽  
Soma Szeier ◽  
Simon Thompson
Keyword(s):  
Formal Semantics

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

2020 ◽  
Author(s):  
Neil Mitchell ◽  
Moritz Kiefer ◽  
Pepe Iborra ◽  
Luke Lau ◽  
Zubin Duggal ◽  
...  
Keyword(s):  
Integrated Development Environment ◽  
Development Environment ◽  
Integrated Development ◽  
Build System

Zero-Cost Constructor Subtyping

2020 ◽  
Author(s):  
Andrew Marmaduke ◽  
Christopher Jenkins ◽  
Aaron Stump
Load More ...
Sign in / Sign up

Export Citation Format

Share Document