Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

15. IFL 2003: Edinburgh, UK

> 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/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2003
Philip W. Trinder, Greg Michaelson, Ricardo Pena:
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5

Language Constructs and Programming

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ChitilMR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ChitilMR03
Olaf Chitil, Dan McNeill, Colin Runciman:
Lazy Assertions. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PangC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PangC03
André T. H. Pang, Manuel M. T. Chakravarty:
Interfacing Haskell with Object-Oriented Languages. 20-35
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WeeldenP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WeeldenP03
Arjen van Weelden, Rinus Plasmeijer:
A Functional Shell That Dynamically Combines Compiled Code. 36-52

Static Analysis and Types

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Choppella03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Choppella03
Venkatesh Choppella:
Polymorphic Type Reconstruction Using Type Equations. 53-68
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/SeguraP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/SeguraP03
Clara Segura, Ricardo Pena:
Correctness of Non-determinism Analyses in a Parallel-Functional Language. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VasconcelosH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VasconcelosH03
Pedro B. Vasconcelos, Kevin Hammond:
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. 86-101

Paralelism

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Berthold03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Berthold03
Jost Berthold:
Dynamic Chunking in Eden. 102-117
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GrelckST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GrelckST03
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner:
With-Loop Scalarization - Merging Nested Array Operations. 118-134
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/MartinezP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/MartinezP03
Rafael Martínez-Torres, Ricardo Pena:
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. 135-151
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AchtenD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AchtenD03
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Generic Graphical User Interfaces. 152-167
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/NorellJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/NorellJ03
Ulf Norell, Patrik Jansson:
Polytypic Programming in Haskell. 168-184

a service of

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.