The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "IFL"( http://dblp.L3S.de/Venues/IFL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ifl

Publication years (Num. hits)
1997-1998 (17) 1999-2000 (28) 2001-2002 (28) 2003-2004 (26) 2005-2006 (30) 2007 (16) 2008 (16) 2009-2010 (26) 2011-2012 (29) 2013-2014 (25) 2015-2016 (24) 2017-2018 (22)
Publication types (Num. hits)
inproceedings(264) proceedings(23)
Venues (Conferences, Journals, ...)
IFL(287)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 17 keywords

Results
Found 287 publication records. Showing 287 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer Task Oriented Programming and the Internet of Things. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kyle Headley A DSL embedded in Rust. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christopher Schuster, Sohum Banerjea, Cormac Flanagan ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcos Viera, Florent Balestrieri, Alberto Pardo A Staged Embedding of Attribute Grammars in Haskell. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christopher Jenkins, Aaron Stump Spine-local Type Inference. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joanna Sharrad, Olaf Chitil, Meng Wang Delta Debugging Type Errors with a Blackbox Compiler. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo 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. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  BibTeX  RDF
1Konstantinos Kallas, Konstantinos Sagonas HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1George Stelle, Darko Stefanovic Verifiably Lazy: Verified Compilation of Call-by-Need. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan Thaler, Thorsten Altenkirch, Peer-Olaf Siebers Pure Functional Epidemics: An Agent-Based Approach. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mark P. Jones, Justin Bailey, Theodore R. Cooper MIL, a Monadic Intermediate Language for Implementing Functional Languages. Search on Bibsonomy IFL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Melinda Tóth, István Bozó, Tamás Kozsik Pattern Candidate Discovery and Parallelization Techniques. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez Biorthogonality for a Lazy language. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas Handlers for Non-Monadic Computations. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clemens Grelck, Nikolaos Sarris Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures: Strategies and Experiments. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer A Distributed Dynamic Architecture for Task Oriented Programming. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rudy Braquehais, Colin Runciman Extrapolate: generalizing counterexamples of functional test properties. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas Wu (eds.) Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017 Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann Recursive Array Comprehensions in a Call-by-Value Language. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Lamela Seijas, Simon J. Thompson Identifying and introducing interfaces and callbacks using Wrangler. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood Design and Implementation of Probabilistic Programming Language Anglican. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Venanzio Capretta, Graham Hutton, Mauro Jaskelioff Contractive Functions on Infinite Data Structures. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Martin Jansen, John H. G. van Groningen A Portable VM-based implementation Platform for non-strict Functional Programming Languages. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yann Orlarey, Pierre Jouvelot Signal Rate Inference for Multidimensional Faust. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat Eliom: tierless Web programming from the ground up. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tom 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 Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patrick Kasting, Michael R. Hansen, Steen Vester Synthesis of Railway-Signaling Plans using Reachability Games. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olaf Chitil, Maarten Faddegon, Colin Runciman A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano 0001 Type Directives and Type Graphs in Elm. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer Towards the Layout of Things. Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1P. R. Griffioen Type inference for array programming with dimensioned vector spaces. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Bracker, Henrik Nilsson Polymonad programming in Haskell. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yong Kiam Tan, Scott Owens, Ramana Kumar A verified type system for CakeML. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Kirkedal Thomsen, Holger Bock Axelsen Interpretation and programming of the reversible functional language RFUN. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anton Ekblad Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stuart Gordon, Sven-Bodo Scholz Dynamic adaptation of functional runtime systems through external control. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer Static and dynamic visualisations of monadic programs. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans-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. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf 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 Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alejandro Díaz-Caro, Pablo E. Martínez López Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens Fixing non-determinism. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, David Sabel Sharing-aware improvements in a call-by-need functional core language. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1László Domoszlai, Bas Lijnse, Rinus Plasmeijer Parametric lenses: change notification for bidirectional lenses. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Markus Aronsson, Emil Axelsson, Mary Sheeran Stream Processing for Embedded Domain Specific Languages. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu Really Natural Linear Indexed Type Checking. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Connor Adsit, Matthew Fluet An Efficient Type- and Control-Flow Analysis for System F. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1László Domoszlai, Bas Lijnse, Rinus Plasmeijer Editlets: type-based, client-side editors for iTasks. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Olle Fredriksson, Dan R. Ghica, Bertram Wheen Towards native higher-order remote procedure calls. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Raymond Christiansen Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthew Le, Matthew Fluet Combining Shared State with Speculative Parallelism in a Functional Language. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sam 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 Search on Bibsonomy IFL The full citation details ... 2014 DBLP  BibTeX  RDF
1Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew Measuring the Haskell Gap. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clemens Grelck, Heinrich Wiesinger Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jonathan Protzenko The implementation of the Mezzo type-checker. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ralf Hinze (eds.) Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Malak Saleh Aljabri, Hans-Wolfgang Loidl, Philip W. Trinder The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bas van Gijzel, Henrik Nilsson Towards a framework for the implementation and verification of translations between argumentation models. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simon Fowler, Edwin Brady Dependent Types for Safe and Secure Web Programming. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jennifer Hackett, Graham Hutton, Mauro Jaskelioff The Under-Performing Unfold: A new approach to optimising corecursive programs. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcos Viera, S. Doaitse Swierstra First Class Syntax, Semantics, and Their Composition. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loïc Denuzière, Ernesto Rodríguez, Adam Granicz Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich The 101haskell Chrestomathy: A Whole Bunch of Learnable Lambdas. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laurence E. Day, Graham Hutton Compilation à la Carte. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Peter Thiemann, Ian Zerny Circularity and Lambda Abstraction: From Bird to Pettorossi and back. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rinus Plasmeijer (eds.) Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013 Search on Bibsonomy IFL The full citation details ... 2013 DBLP  BibTeX  RDF
1José Pedro Magalhães Optimisation of Generic Programs Through Inlining. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xavier Clerc OCaml-Java: From OCaml Sources to Java Bytecodes. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra Pure and Lazy Lambda Mining - An Experience Report. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul van der Walt, Wouter Swierstra Engineering Proof by Reflection in Agda. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andy Gill, Jurriaan Hage (eds.) Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dominic A. Orchard, Alan Mycroft A Notation for Comonads. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mischa Dieterle, Thomas Horstmeyer, Jost Berthold, Rita Loogen Iterating Skeletons - Structured Parallelism by Composition. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Thiemann, Manuel M. T. Chakravarty Agda Meets Accelerate. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew Fluet A Type- and Control-Flow Analysis for System F. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cezar Ionescu, Patrik Jansson Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kanae Tsushima, Kenichi Asai An Embedded Type Debugger. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jason S. Reich, Matthew Naylor, Colin Runciman Advances in Lazy SmallCheck. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Neil Sculthorpe, Andrew Farmer, Andy Gill The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Richard Senington, David Duke Decomposing Metaheuristic Operations. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra Building JavaScript Applications with Haskell. Search on Bibsonomy IFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco T. Morazán, Sven-Bodo Scholz (eds.) Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Maier 0001, Philip W. Trinder Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen From Stack Traces to Lazy Rewriting Sequences. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sven-Bodo Scholz, Olaf Chitil (eds.) Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya Functional Instrumentation of ActionScript Programs with Asil. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rex L. Page Property-Based Testing and Verification: A Catalog of Classroom Examples. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adam Megacz Hardware Design with Generalized Arrows. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anders Persson, Emil Axelsson, Josef Svenningsson Generic Monadic Constructs for Embedded Languages. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jason S. Reich, Matthew Naylor, Colin Runciman Lazy Generation of Canonical Test Programs. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer Model Based Testing with Logical Properties versus State Machines. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edward Amsden, Matthew Fluet Fairness for Transactional Events. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Schilling Challenges for a Trace-Based Just-In-Time Compiler for Haskell. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Kirkedal Thomsen Describing and Optimising Reversible Logic Using a Functional Language. Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jurriaan Hage, Marco T. Morazán (eds.) Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers Search on Bibsonomy IFL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 287 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license