default search action

combined dblp search
author search
venue search
publication search

ask others

27. IFL 2015: Koblenz, Germany

> 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
  authority control:
- export record
  dblp key:
  - conf/ifl/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2015
Ralf Lämmel:
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015. ACM 2015, ISBN 978-1-4503-4273-5
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/StutterheimAP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/StutterheimAP15
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and dynamic visualisations of monadic programs. 1:1-1:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Ekblad15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Ekblad15
Anton Ekblad:
Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects. 2:1-2:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BrackerN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BrackerN15
Jan Bracker, Henrik Nilsson:
Polymonad programming in Haskell. 3:1-3:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Griffioen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Griffioen15
P. R. Griffioen:
Type inference for array programming with dimensioned vector spaces. 4:1-4:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VandenbrouckeSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VandenbrouckeSP15
Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens:
Fixing non-determinism. 5:1-5:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Schmidt-Schauss15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Schmidt-Schauss15
Manfred Schmidt-Schauß, David Sabel:
Sharing-aware improvements in a call-by-need functional core language. 6:1-6:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/TanOK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/TanOK15
Yong Kiam Tan, Scott Owens, Ramana Kumar:
A verified type system for CakeML. 7:1-7:12
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ThomsenA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ThomsenA15
Michael Kirkedal Thomsen, Holger Bock Axelsen:
Interpretation and programming of the reversible functional language RFUN. 8:1-8:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Diaz-CaroL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Diaz-CaroL15
Alejandro Díaz-Caro, Pablo E. Martínez López:
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ⁺. 9:1-9:11
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GordonS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GordonS15
Stuart Gordon, Sven-Bodo Scholz:
Dynamic adaptation of functional runtime systems through external control. 10:1-10:13
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ViessmannSSBHF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ViessmannSSBHF15
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. 11:1-11:13

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.