| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joanna Sharrad, Olaf Chitil |
Refining the Delta Debugging of Type Errors.  |
IFL  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gijs van Cuyck, Sven-Bodo Scholz |
In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays. |
IFL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Zouhair, Nadine Kabbara, Olivier Boudeville, Florian Mancel |
Application of Functional Programming in the Energy Industry: A Local Energy Market Simulator Case Study. |
IFL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niek Janssen, Sven-Bodo Scholz |
On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces. |
IFL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
33rd Symposium on Implementation and Application of Functional Languages, IFL 2021, Nijmegen, The Netherlands, September 1-3, 2021 |
IFL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Quiring, John H. Reppy, Olin Shivers |
3CPS: The Design of an Environment-Focussed Intermediate Representation. |
IFL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Gómez-Londoño, Magnus O. Myreen |
A flat reachability-based measure for CakeML's cost semantics. |
IFL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López |
Polymorphic System I. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Moreira, Pedro B. Vasconcelos, Mário Florido |
Resource Analysis for Lazy Evaluation with Polynomial Potential. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Lijnse, Rinus Plasmeijer |
Typed Directional Composable Editors in iTasks. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris Burgers, Jurriaan Hage, Alejandro Serrano 0001 |
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 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. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Naus, Johan Jeuring |
End-user feedback in multi-user workflow systems. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Nikolai Vießmann, Sven-Bodo Scholz |
Effective Host-GPU Memory Management Through Code Generation. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Mourad, Matteo Cimini |
A Declarative Gradualizer with Language Transformations. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Chitil (eds.) |
IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020 |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Marmaduke, Christopher Jenkins, Aaron Stump |
Zero-Cost Constructor Subtyping. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kavon Farvardin, John H. Reppy |
A New Backend for Standard ML of New Jersey. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson |
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Sérot |
HoCL: High level specification of dataflow graphs. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maheen Riaz Contractor, Matthew Fluet |
Type- and Control-Flow Directed Defunctionalization. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson |
Validating Formal Semantics by Property-Based Cross-Testing. |
IFL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven-Bodo Scholz, Artjoms Sinkarovs |
Tensor comprehensions in SaC. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriën Stutterheim, Wei-Ngan Chin (eds.) |
IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Camil Staps, John H. G. van Groningen, Rinus Plasmeijer |
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Rinus Plasmeijer |
A new view on parser combinators. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Mista, Alejandro Russo |
Deriving compositional random generators. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudi Horn, Simon Fowler 0001, James Cheney |
Language-integrated updatable views. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer |
Interpreting task oriented programs on tiny computers. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam D. Barwell, Christopher Brown 0002 |
A trustworthy framework for resource-aware embedded programming. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Reppy, Joe Wingerter |
Shapes and flattening. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek |
A space-efficient call-by-value virtual machine for gradual set-theoretic types. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan García-Garland, Alberto Pardo, Marcos Viera |
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Naus, Tim Steenvoorden, Markus Klinik |
A symbolic execution semantics for TopHat. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Ullrich 0002, Leonardo de Moura 0001 |
Counting immutable beans: reference counting optimized for purely functional programming. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kanae Tsushima, Olaf Chitil, Joanna Sharrad |
Type debugging with counter-factual type error messages using an existing type checker. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea |
A functional approach to accelerating Monte Carlo based american option pricing. |
IFL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Thaler, Thorsten Altenkirch, Peer-Olaf Siebers |
Pure Functional Epidemics: An Agent-Based Approach. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jenkins, Aaron Stump |
Spine-local Type Inference. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer |
Task Oriented Programming and the Internet of Things. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark P. Jones, Justin Bailey, Theodore R. Cooper |
MIL, a Monadic Intermediate Language for Implementing Functional Languages. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | George Stelle, Darko Stefanovic |
Verifiably Lazy: Verified Compilation of Call-by-Need. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz |
Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini, Jay McCarthy (eds.) |
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018. |
IFL |
2018 |
DBLP BibTeX RDF |
|
| 1 | Kyle Headley |
A DSL embedded in Rust. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Viera, Florent Balestrieri, Alberto Pardo |
A Staged Embedding of Attribute Grammars in Haskell. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Kallas, Konstantinos Sagonas |
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Schuster, Sohum Banerjea, Cormac Flanagan |
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Sharrad, Olaf Chitil, Meng Wang 0002 |
Delta Debugging Type Errors with a Blackbox Compiler. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart 0001, Hans-Nikolai Vießmann |
Recursive Array Comprehensions in a Call-by-Value Language. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Melinda Tóth, István Bozó, Tamás Kozsik |
Pattern Candidate Discovery and Parallelization Techniques. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas |
Handlers for Non-Monadic Computations. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grelck, Nikolaos Sarris |
Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Wu (eds.) |
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017 |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudy Braquehais, Colin Runciman |
Extrapolate: generalizing counterexamples of functional test properties. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Jurriaan Hage |
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer |
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez |
Biorthogonality for a Lazy language. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer |
A Distributed Dynamic Architecture for Task Oriented Programming. |
IFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Lamela Seijas, Simon J. Thompson |
Identifying and introducing interfaces and callbacks using Wrangler. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Venanzio Capretta, Graham Hutton, Mauro Jaskelioff |
Contractive Functions on Infinite Data Structures. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat |
Eliom: tierless Web programming from the ground up. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Martin Jansen, John H. G. van Groningen |
A Portable VM-based implementation Platform for non-strict Functional Programming Languages. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer |
Towards the Layout of Things. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra |
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Orlarey, Pierre Jouvelot |
Signal Rate Inference for Multidimensional Faust. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Kasting, Michael R. Hansen, Steen Vester |
Synthesis of Railway-Signaling Plans using Reachability Games. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Chitil, Maarten Faddegon, Colin Runciman |
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano 0001 |
Type Directives and Type Graphs in Elm. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood |
Design and Implementation of Probabilistic Programming Language Anglican. |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers (eds.) |
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016 |
IFL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Ekblad |
Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Pablo E. Martínez López |
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Nikolai Vießmann, Sven-Bodo Scholz, Artjoms Sinkarovs, Brian Bainbridge, Brian Hamilton, Simon Flower |
Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Kiam Tan, Scott Owens, Ramana Kumar |
A verified type system for CakeML. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer |
Static and dynamic visualisations of monadic programs. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | P. R. Griffioen |
Type inference for array programming with dimensioned vector spaces. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Lämmel (eds.) |
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015 |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens |
Fixing non-determinism. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, David Sabel |
Sharing-aware improvements in a call-by-need functional core language. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kirkedal Thomsen, Holger Bock Axelsen |
Interpretation and programming of the reversible functional language RFUN. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Gordon, Sven-Bodo Scholz |
Dynamic adaptation of functional runtime systems through external control. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bracker, Henrik Nilsson |
Polymonad programming in Haskell. |
IFL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Raymond Christiansen |
Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen |
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Le, Matthew Fluet |
Combining Shared State with Speculative Parallelism in a Functional Language. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt (eds.) |
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014 |
IFL |
2014 |
DBLP BibTeX RDF |
|
| 1 | László Domoszlai, Bas Lijnse, Rinus Plasmeijer |
Parametric lenses: change notification for bidirectional lenses. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu |
Really Natural Linear Indexed Type Checking. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aronsson, Emil Axelsson, Mary Sheeran |
Stream Processing for Embedded Domain Specific Languages. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | László Domoszlai, Bas Lijnse, Rinus Plasmeijer |
Editlets: type-based, client-side editors for iTasks. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Olle Fredriksson, Dan R. Ghica, Bertram Wheen |
Towards native higher-order remote procedure calls. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer |
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Connor Adsit, Matthew Fluet |
An Efficient Type- and Control-Flow Analysis for System F. |
IFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas van Gijzel, Henrik Nilsson |
Towards a framework for the implementation and verification of translations between argumentation models. |
IFL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Viera, S. Doaitse Swierstra |
First Class Syntax, Semantics, and Their Composition. |
IFL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Denuzière, Ernesto Rodríguez, Adam Granicz |
Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models. |
IFL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich |
The 101haskell Chrestomathy: A Whole Bunch of Learnable Lambdas. |
IFL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Hackett, Graham Hutton, Mauro Jaskelioff |
The Under-Performing Unfold: A new approach to optimising corecursive programs. |
IFL |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license