default search action

combined dblp search
author search
venue search
publication search

ask others

25. IFL 2013: Nijmegen, The Netherlands

> Home > Conferences and Workshops > IFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/ifl/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2013
Rinus Plasmeijer:
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. ACM 2013, ISBN 978-1-4503-2988-0
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HackettHJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HackettHJ13
Jennifer Hackett, Graham Hutton, Mauro Jaskelioff:
The Under-Performing Unfold: A new approach to optimising corecursive programs. 1
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DayH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DayH13
Laurence E. Day, Graham Hutton:
Compilation à la Carte. 13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/LammelSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LammelSV13
Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich:
The 101haskell Chrestomathy: A Whole Bunch of Learnable Lambdas. 25
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AljabriLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AljabriLT13
Malak Saleh Aljabri, Hans-Wolfgang Loidl, Philip W. Trinder:
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. 37
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/FowlerB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/FowlerB13
Simon Fowler, Edwin C. Brady:
Dependent Types for Safe and Secure Web Programming. 49
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PetersenALG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PetersenALG13
Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew:
Measuring the Haskell Gap. 61
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VieraS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VieraS13
Marcos Viera, S. Doaitse Swierstra:
First Class Syntax, Semantics, and Their Composition. 73
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DanvyTZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DanvyTZ13
Olivier Danvy, Peter Thiemann, Ian Zerny:
Circularity and Lambda Abstraction: From Bird to Pettorossi and back. 85
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GijzelN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GijzelN13
Bas van Gijzel, Henrik Nilsson:
Towards a framework for the implementation and verification of translations between argumentation models. 93
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DenuziereRG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DenuziereRG13
Loïc Denuzière, Ernesto Rodríguez, Adam Granicz:
Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models. 105
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GrelckW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GrelckW13
Clemens Grelck, Heinrich Wiesinger:
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code. 117
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Protzenko13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Protzenko13
Jonathan Protzenko:
The implementation of the Mezzo type-checker. 129

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.