• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 385 matches

• 2023
• 
  Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel:
  Type Patterns: Pattern Matching on Shape-Carrying Array Types. IFL 2023: 11:1-11:14
• 
  Péter Bereczky, Dániel Horpácsi, Simon J. Thompson:
  A frame stack semantics for sequential Core Erlang. IFL 2023: 5:1-5:13
• 
  Lotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hey Hinnerskov, Cosmin Eugen Oancea:
  Reverse-Mode AD of Multi-Reduce and Scan in Futhark. IFL 2023: 14:1-14:14
• 
  Alexander Dinges, Ralf Hinze:
  What's in a Bag?: An "Application Proving Interface" for Finite Bags and its Implementation. IFL 2023: 2:1-2:13
• 
  Lucas Escot:
  Crafting Extensible Forward Incremental Parallel Embedded Build Systems. IFL 2023: 7:1-7:11
• 
  Matthías Páll Gissurarson, Leonhard Herbert Applis:
  CSI: Haskell - Tracing Lazy Evaluations in a Functional Language. IFL 2023: 1:1-1:13
• 
  Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
  QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL 2023: 9:1-9:12
• 
  Bohdan Liesnikov, Jesper Cockx:
  ExEl: Building an Elaborator Using Extensible Constraints. IFL 2023: 4:1-4:13
• 
  Wouter Loeve, Clemens Grelck:
  Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language. IFL 2023: 10:1-10:13
• 
  Markus Pettersson, Johannes Ljung Ekeroth, Alejandro Russo:
  Calculating Function Sensitivity for Synthetic Data Algorithms. IFL 2023: 6:1-6:12
• 
  Craig Ramsay, Robert J. Stewart:
  Heron: Modern Hardware Graph Reduction. IFL 2023: 3:1-3:12
• 
  Morten Rhiger:
  Type-Based Uncurrying for Unknown Function Calls. IFL 2023: 8:1-8:12
• 
  Tim Steenvoorden, Nico Naus:
  Dynamic TopHat: Start and Stop Tasks at Runtime. IFL 2023: 13:1-13:13
• 
  Michiel Verloop, Thomas Koopman, Sven-Bodo Scholz:
  Modulo in high-performance code: strength reduction for modulo-based array indexing in loops. IFL 2023: 12:1-12:13
• 
  The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023. ACM 2023 [contents]
• 2022
• 
  Patrick van Beurden, Sven-Bodo Scholz:
  On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. IFL 2022: 7:1-7:13
• 
  João Paulo Pizani Flor, Wouter Swierstra:
  Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation. IFL 2022: 1:1-1:13
• 
  Hans Hüttel, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen:
  A Structure Editor with Type-Safe Copy/Paste. IFL 2022: 5:1-5:11
• 
  Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
  First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. IFL 2022: 3:1-3:12
• 
  Dougal Maclaurin, Alexey Radul, Adam Paszke:
  The Foil: Capture-Avoiding Substitution With No Sharp Edges. IFL 2022: 8:1-8:10
• 
  Philip Munksgaard, Cosmin E. Oancea, Troels Henriksen:
  Compiling a functional array language with non-semantic memory information. IFL 2022: 2:1-2:13
• 
  Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper:
  Verified Causal Broadcast with Liquid Haskell. IFL 2022: 6:1-6:13
• 
  Albert Schimpf, Stefan Wehr, Annette Bieniusa:
  Set-theoretic Types for Erlang. IFL 2022: 4:1-4:14
• 
  Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, IFL 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022. ACM 2022, ISBN 978-1-4503-9831-2 [contents]
• 2021
• 
  Gijs van Cuyck, Sven-Bodo Scholz:
  In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays. IFL 2021: 29-41
• 
  Alejandro Gómez-Londoño, Magnus O. Myreen:
  A flat reachability-based measure for CakeML's cost semantics. IFL 2021: 1-9
• 
  Niek Janssen, Sven-Bodo Scholz:
  On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces. IFL 2021: 54-66
• 
  Benjamin Quiring, John H. Reppy, Olin Shivers:
  3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL 2021: 20-28
• 
  Joanna Sharrad, Olaf Chitil:
  Refining the Delta Debugging of Type Errors. IFL 2021: 10-19
• 
  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: 42-53

skipping 355 more matches