Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tamás Kozsik |
Proving Program Properties Specified with Subtype Marks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 163-180, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko |
Index Vector Elimination - Making Index Vectors Affordable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 19-36, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio 0001 |
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 55-72, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Parallel functional programming, semantics, skeletons |
1 | Laura Ruff, Tudor Jebelean |
Functional-Based Synthesis of a Systolic Array for GCD Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 37-54, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Peter Achten |
A Conference Management System Based on the iData Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 108-125, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz |
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 1-18, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jurriaan Hage, Bastiaan Heeren |
Heuristics for Type Error Discovery and Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 199-216, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
type inferencing, heuristics, constraints, error recovery, type graph, error messages |
1 | Jost Berthold, Rita Loogen |
Parallel Coordination Made Explicit in a Functional Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 73-90, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson |
Uniqueness Typing Redefined. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 181-198, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland |
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 91-107, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Germán Vidal |
Automatic Partial Inversion of Inductively Sequential Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 253-270, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady |
Ivor, a Proof Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, pp. 145-162, 2006, Springer, 978-3-540-74129-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha, Jorge Sousa Pinto, José Proença |
A Framework for Point-Free Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 1-18, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Peter Achten |
The Implementation of iData. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 106-123, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder (eds.) |
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-26094-3 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady, Kevin Hammond |
A Dependently Typed Framework for Static Analysis of Program Execution Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 74-90, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Kevin Millikin |
A Rational Deconstruction of Landin's J Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 55-73, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer |
Polytypic Syntax Tree Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 142-159, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Keith Hanna |
A Document-Centered Environment for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 196-211, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Frank Huch, Frank Kupke |
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 124-141, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie |
Encoding Strategies in the Lambda Calculus with Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 19-36, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz |
With-Loop Fusion for Data Locality and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 178-195, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner |
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 160-177, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko |
A Binding Scope Analysis for Generic Programs on Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 212-230, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Hope, Graham Hutton |
Accurate Step Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 91-105, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marko C. J. D. van Eekelen, Maarten de Mol |
Proof Tool Support for Explicit Strictness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 37-54, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Holger Gast |
Explaining ML Type Errors by Data Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 72-89, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach |
A Virtual Machine for Functional Logic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 108-125, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo |
Shrinking Reductions in SML.NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 142-159, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Stefanov, Anthony M. Sloane |
Simple, Effective Code-Size Reduction for Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 211-225, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil |
Source-Based Trace Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 126-141, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Cristóbal-Salas, Andrey Chernykh, Edelmira Rodríguez-Alcantar, Jean-Luc Gaudiot |
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 1-16, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ronny Wichers Schreur, Marinus J. Plasmeijer |
Dynamic Construction of Generic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 160-176, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann |
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 90-107, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philip W. Trinder, Greg Michaelson, Ricardo Pena (eds.) |
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-23727-5 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
A Rational Deconstruction of Landin's SECD Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 52-71, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten |
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 17-34, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Shafarenko, Sven-Bodo Scholz |
General Homomorphic Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 195-210, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sander Evers, Peter Achten, Jan Kuper |
A Functional Programming Technique for Forms in Graphical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 35-51, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen |
Reasoning About Deterministic Concurrent Functional I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 177-194, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jost Berthold |
Dynamic Chunking in Eden. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 102-117, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | André T. H. Pang, Manuel M. T. Chakravarty |
Interfacing Haskell with Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 20-35, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
Generic Graphical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 152-167, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner |
With-Loop Scalarization - Merging Nested Array Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 118-134, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Martínez-Torres, Ricardo Pena |
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 135-151, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arjen van Weelden, Rinus Plasmeijer |
A Functional Shell That Dynamically Combines Compiled Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 36-52, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pena, Thomas Arts (eds.) |
Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-40190-3 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil, Dan McNeill, Colin Runciman |
Lazy Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 1-19, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Choppella |
Polymorphic Type Reconstruction Using Type Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 53-68, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Clara Segura, Ricardo Pena |
Correctness of Non-determinism Analyses in a Parallel-Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 69-85, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pedro B. Vasconcelos, Kevin Hammond |
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 86-101, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Norell, Patrik Jansson |
Polytypic Programming in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 168-184, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder |
Thread Migration in a Parallel Graph Reducer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 199-214, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann |
Stacking Cycles: Functional Transformation of Circular Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 150-164, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
corecursion, anamorphism, function memoization, code generation, Coalgebra, cycle detection |
1 | Peter Achten, Artem Alimarine, Marinus J. Plasmeijer |
When Generic Functions Use Dynamic Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 17-33, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers |
Fusion in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 51-67, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martijn Vervoort, Marinus J. Plasmeijer |
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 101-117, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil, Colin Runciman, Malcolm Wallace |
Transforming Haskell for Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 165-181, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Hammond, Greg Michaelson |
Predictable Space Behaviour in FSM-Hume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 1-16, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer |
Gast: Generic Automated Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 84-100, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Malcolm Dowse, Glenn Strong, Andrew Butterfield |
Proving Make Correct: I/O Proofs in Haskell and Clean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 68-83, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Lindahl, Konstantinos Sagonas |
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 134-149, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Arts, Markus Mohnen (eds.) |
Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-43537-9 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nils Ellmenreich, Christian Lengauer |
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 118-133, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Phil Bagwell |
Fast Functional Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 34-50, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck, Sven-Bodo Scholz |
Axis Control in SAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 182-198, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Arjen van Weelden, Marinus J. Plasmeijer |
Towards a Strongly Typed Functional Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 215-231, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos |
Cost Analysis Using Automatic Size and Time Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 232-248, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield, Glenn Strong |
Proving Correctness of Programs with IO - A Paradigm Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 72-87, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pena, Clara Segura |
A Polynomial-Cost Non-determinism Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 121-137, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Theorem Proving for Functional Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 55-71, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Artem Alimarine, Marinus J. Plasmeijer |
A Generic Programming Extension for Clean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 168-185, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alberto de la Encina, Ricardo Pena |
Proving the Correctness of the STG Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 88-104, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Kreye |
A Compilation Scheme for a Hierarchy of Array Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 18-54, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Filip Faxén |
Dynamic Cheap Eagerness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 105-120, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide |
Runtime Behavior of Conversion Interpretation of Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 155-167, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 138-154, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pena, Clara Segura |
Sized Types for Typing Eden Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 1-17, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Markus Mohnen, Pieter W. M. Koopman (eds.) |
Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-41919-5 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck |
Optimizations on Array Skeletons in a Shared Memory Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 36-54, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Polygonizing Implicit Surfaces in a Purely Functional Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 158-175, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pena, Clara Segura |
Non-determinism Analysis in a Parallel-Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 1-18, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil, Colin Runciman, Malcolm Wallace |
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 176-193, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl |
The Design and Implementation of Glasgow Distributed Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 53-70, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten, Simon L. Peyton Jones |
Porting the Clean Object I/O Library to Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 194-213, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Hammond |
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 122-139, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Raimund Schröder, Werner E. Kluge |
Organizing Speculative Computations in Functional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 214-230, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Sargeant, Chris C. Kirkham, Ian Watson |
Exploiting Implicit Parallelism in Functional Programs with SLAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 19-36, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen Gustavsson, Josef Svenningsson |
A Usage Analysis with Bounded Usage Polymorphism and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 140-157, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Frank Huch, Ulrich Norbisrath |
Distributed Programming in Haskell with Ports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 107-121, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Frank Huch, Philipp Niederau |
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 89-106, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Arts, Thomas Noll 0001 |
Verifying Generic Erlang Client-Server Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 37-52, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John O'Donnell 0001 |
The Collective Semantics in Functional SPMD Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 249-266, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck |
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 231-248, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Chris Clack (eds.) |
Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-67864-6 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio 0001 |
Implementation Skeletons in Eden: Low-Effort Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 71-88, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón y Widemann |
Reflections in Opal - Meta Information in a Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers, pp. 149-164, 1999, Springer, 3-540-67864-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Hammond, Antony J. T. Davie, Chris Clack (eds.) |
Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![Springer, 3-540-66229-4 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz |
On Code Generation for Multi-generator WITH-Loops in SAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers, pp. 77-94, 1999, Springer, 3-540-67864-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten, Marinus J. Plasmeijer |
The Implementation of Interactive Local State Transition Systems in Clean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers, pp. 115-130, 1999, Springer, 3-540-67864-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|