Search results for "IFL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tamás Kozsik	Proving Program Properties Specified with Subtype Marks.	IFL	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.	IFL	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.	IFL	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.	IFL	2006	DBLP DOI BibTeX RDF
1	Rinus Plasmeijer, Peter Achten	A Conference Management System Based on the iData Toolkit.	IFL	2006	DBLP DOI BibTeX RDF
1	Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz	On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.	IFL	2006	DBLP DOI BibTeX RDF
1	Jurriaan Hage, Bastiaan Heeren	Heuristics for Type Error Discovery and Recovery.	IFL	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.	IFL	2006	DBLP DOI BibTeX RDF
1	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Redefined.	IFL	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.	IFL	2006	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Germán Vidal	Automatic Partial Inversion of Inductively Sequential Functions.	IFL	2006	DBLP DOI BibTeX RDF
1	Edwin C. Brady	Ivor, a Proof Engine.	IFL	2006	DBLP DOI BibTeX RDF
1	Alcino Cunha, Jorge Sousa Pinto, José Proença	A Framework for Point-Free Program Transformation.	IFL	2005	DBLP DOI BibTeX RDF
1	Rinus Plasmeijer, Peter Achten	The Implementation of iData.	IFL	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	IFL	2005	DBLP DOI BibTeX RDF
1	Edwin C. Brady, Kevin Hammond	A Dependently Typed Framework for Static Analysis of Program Execution Costs.	IFL	2005	DBLP DOI BibTeX RDF
1	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's J Operator.	IFL	2005	DBLP DOI BibTeX RDF
1	Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer	Polytypic Syntax Tree Operations.	IFL	2005	DBLP DOI BibTeX RDF
1	Keith Hanna	A Document-Centered Environment for Haskell.	IFL	2005	DBLP DOI BibTeX RDF
1	Frank Huch, Frank Kupke	A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.	IFL	2005	DBLP DOI BibTeX RDF
1	Ian Mackie	Encoding Strategies in the Lambda Calculus with Interaction Nets.	IFL	2005	DBLP DOI BibTeX RDF
1	Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz	With-Loop Fusion for Data Locality and Parallelism.	IFL	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.	IFL	2005	DBLP DOI BibTeX RDF
1	Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko	A Binding Scope Analysis for Generic Programs on Arrays.	IFL	2005	DBLP DOI BibTeX RDF
1	Catherine Hope, Graham Hutton	Accurate Step Counting.	IFL	2005	DBLP DOI BibTeX RDF
1	Marko C. J. D. van Eekelen, Maarten de Mol	Proof Tool Support for Explicit Strictness.	IFL	2005	DBLP DOI BibTeX RDF
1	Holger Gast	Explaining ML Type Errors by Data Flows.	IFL	2004	DBLP DOI BibTeX RDF
1	Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach	A Virtual Machine for Functional Logic Computations.	IFL	2004	DBLP DOI BibTeX RDF
1	Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo	Shrinking Reductions in SML.NET.	IFL	2004	DBLP DOI BibTeX RDF
1	Ekaterina Stefanov, Anthony M. Sloane	Simple, Effective Code-Size Reduction for Functional Programs.	IFL	2004	DBLP DOI BibTeX RDF
1	Olaf Chitil	Source-Based Trace Exploration.	IFL	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.	IFL	2004	DBLP DOI BibTeX RDF
1	Ronny Wichers Schreur, Marinus J. Plasmeijer	Dynamic Construction of Generic Functions.	IFL	2004	DBLP DOI BibTeX RDF
1	Baltasar Trancón y Widemann	V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions.	IFL	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	IFL	2004	DBLP DOI BibTeX RDF
1	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
1	Peter Achten	The Feasibility of Interactively Probing Quiescent Properties of GUI Applications.	IFL	2004	DBLP DOI BibTeX RDF
1	Alexander V. Shafarenko, Sven-Bodo Scholz	General Homomorphic Overloading.	IFL	2004	DBLP DOI BibTeX RDF
1	Sander Evers, Peter Achten, Jan Kuper	A Functional Programming Technique for Forms in Graphical User Interfaces.	IFL	2004	DBLP DOI BibTeX RDF
1	Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen	Reasoning About Deterministic Concurrent Functional I/O.	IFL	2004	DBLP DOI BibTeX RDF
1	Jost Berthold	Dynamic Chunking in Eden.	IFL	2003	DBLP DOI BibTeX RDF
1	André T. H. Pang, Manuel M. T. Chakravarty	Interfacing Haskell with Object-Oriented Languages.	IFL	2003	DBLP DOI BibTeX RDF
1	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer	Generic Graphical User Interfaces.	IFL	2003	DBLP DOI BibTeX RDF
1	Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner	With-Loop Scalarization - Merging Nested Array Operations.	IFL	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.	IFL	2003	DBLP DOI BibTeX RDF
1	Arjen van Weelden, Rinus Plasmeijer	A Functional Shell That Dynamically Combines Compiled Code.	IFL	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	IFL	2003	DBLP DOI BibTeX RDF
1	Olaf Chitil, Dan McNeill, Colin Runciman	Lazy Assertions.	IFL	2003	DBLP DOI BibTeX RDF
1	Venkatesh Choppella	Polymorphic Type Reconstruction Using Type Equations.	IFL	2003	DBLP DOI BibTeX RDF
1	Clara Segura, Ricardo Pena	Correctness of Non-determinism Analyses in a Parallel-Functional Language.	IFL	2003	DBLP DOI BibTeX RDF
1	Pedro B. Vasconcelos, Kevin Hammond	Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.	IFL	2003	DBLP DOI BibTeX RDF
1	Ulf Norell, Patrik Jansson	Polytypic Programming in Haskell.	IFL	2003	DBLP DOI BibTeX RDF
1	André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder	Thread Migration in a Parallel Graph Reducer.	IFL	2002	DBLP DOI BibTeX RDF
1	Baltasar Trancón y Widemann	Stacking Cycles: Functional Transformation of Circular Data.	IFL	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.	IFL	2002	DBLP DOI BibTeX RDF
1	Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers	Fusion in Practice.	IFL	2002	DBLP DOI BibTeX RDF
1	Martijn Vervoort, Marinus J. Plasmeijer	Lazy Dynamic Input/Output in the Lazy Functional Language Clean.	IFL	2002	DBLP DOI BibTeX RDF
1	Olaf Chitil, Colin Runciman, Malcolm Wallace	Transforming Haskell for Tracing.	IFL	2002	DBLP DOI BibTeX RDF
1	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
1	Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer	Gast: Generic Automated Software Testing.	IFL	2002	DBLP DOI BibTeX RDF
1	Malcolm Dowse, Glenn Strong, Andrew Butterfield	Proving Make Correct: I/O Proofs in Haskell and Clean.	IFL	2002	DBLP DOI BibTeX RDF
1	Tobias Lindahl, Konstantinos Sagonas	Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.	IFL	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	IFL	2002	DBLP DOI BibTeX RDF
1	Nils Ellmenreich, Christian Lengauer	PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines.	IFL	2002	DBLP DOI BibTeX RDF
1	Phil Bagwell	Fast Functional Lists.	IFL	2002	DBLP DOI BibTeX RDF
1	Clemens Grelck, Sven-Bodo Scholz	Axis Control in SAC.	IFL	2002	DBLP DOI BibTeX RDF
1	Arjen van Weelden, Marinus J. Plasmeijer	Towards a Strongly Typed Functional Operating System.	IFL	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.	IFL	2002	DBLP DOI BibTeX RDF
1	Andrew Butterfield, Glenn Strong	Proving Correctness of Programs with IO - A Paradigm Comparison.	IFL	2001	DBLP DOI BibTeX RDF
1	Ricardo Pena, Clara Segura	A Polynomial-Cost Non-determinism Analysis.	IFL	2001	DBLP DOI BibTeX RDF
1	Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Theorem Proving for Functional Programmers.	IFL	2001	DBLP DOI BibTeX RDF
1	Artem Alimarine, Marinus J. Plasmeijer	A Generic Programming Extension for Clean.	IFL	2001	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Ricardo Pena	Proving the Correctness of the STG Machine.	IFL	2001	DBLP DOI BibTeX RDF
1	Dietmar Kreye	A Compilation Scheme for a Hierarchy of Array Types.	IFL	2001	DBLP DOI BibTeX RDF
1	Karl-Filip Faxén	Dynamic Cheap Eagerness.	IFL	2001	DBLP DOI BibTeX RDF
1	Yasuhiko Minamide	Runtime Behavior of Conversion Interpretation of Subtyping.	IFL	2001	DBLP DOI BibTeX RDF
1	Norman Scaife, Greg Michaelson, Susumu Horiguchi	Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.	IFL	2001	DBLP DOI BibTeX RDF
1	Ricardo Pena, Clara Segura	Sized Types for Typing Eden Skeletons.	IFL	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	IFL	2001	DBLP DOI BibTeX RDF
1	Clemens Grelck	Optimizations on Array Skeletons in a Shared Memory Environment.	IFL	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.	IFL	2000	DBLP DOI BibTeX RDF
1	Ricardo Pena, Clara Segura	Non-determinism Analysis in a Parallel-Functional Language.	IFL	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.	IFL	2000	DBLP DOI BibTeX RDF
1	Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl	The Design and Implementation of Glasgow Distributed Haskell.	IFL	2000	DBLP DOI BibTeX RDF
1	Peter Achten, Simon L. Peyton Jones	Porting the Clean Object I/O Library to Haskell.	IFL	2000	DBLP DOI BibTeX RDF
1	Kevin Hammond	The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour.	IFL	2000	DBLP DOI BibTeX RDF
1	Raimund Schröder, Werner E. Kluge	Organizing Speculative Computations in Functional Systems.	IFL	2000	DBLP DOI BibTeX RDF
1	John Sargeant, Chris C. Kirkham, Ian Watson	Exploiting Implicit Parallelism in Functional Programs with SLAM.	IFL	2000	DBLP DOI BibTeX RDF
1	Jörgen Gustavsson, Josef Svenningsson	A Usage Analysis with Bounded Usage Polymorphism and Subtyping.	IFL	2000	DBLP DOI BibTeX RDF
1	Frank Huch, Ulrich Norbisrath	Distributed Programming in Haskell with Ports.	IFL	2000	DBLP DOI BibTeX RDF
1	Michael Hanus, Frank Huch, Philipp Niederau	ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.	IFL	2000	DBLP DOI BibTeX RDF
1	Thomas Arts, Thomas Noll 0001	Verifying Generic Erlang Client-Server Implementations.	IFL	2000	DBLP DOI BibTeX RDF
1	John O'Donnell 0001	The Collective Semantics in Functional SPMD Programming.	IFL	2000	DBLP DOI BibTeX RDF
1	Clemens Grelck	Improving Cache Effectiveness through Array Data Layout Manipulation in SAC.	IFL	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	IFL	2000	DBLP DOI BibTeX RDF
1	Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio 0001	Implementation Skeletons in Eden: Low-Effort Parallel Programming.	IFL	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.	IFL	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	IFL	1999	DBLP DOI BibTeX RDF
1	Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz	On Code Generation for Multi-generator WITH-Loops in SAC.	IFL	1999	DBLP DOI BibTeX RDF
1	Peter Achten, Marinus J. Plasmeijer	The Implementation of Interactive Local State Transition Systems in Clean.	IFL	1999	DBLP DOI BibTeX RDF

Publications at "IFL"( http://dblp.L3S.de/Venues/IFL )