Conferences in DBLP
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. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Achten The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Sander Evers , Peter Achten , Jan Kuper A Functional Programming Technique for Forms in Graphical User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy A Rational Deconstruction of Landin's SECD Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Gast Explaining ML Type Errors by Data Flows. [Citation Graph (0, 0)][DBLP ] Conf ] Baltasar Trancón-y-Widemann V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy , Michael Hanus , Jimeng Liu , Andrew P. Tolmach A Virtual Machine for Functional Logic Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Chitil Source-Based Trace Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Benton , Andrew Kennedy , Sam Lindley , Claudio V. Russo Shrinking Reductions in SML.NET. [Citation Graph (0, 0)][DBLP ] Conf ] Ronny Wichers Schreur , Marinus J. Plasmeijer Dynamic Construction of Generic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm Dowse , Andrew Butterfield , Marko C. J. D. van Eekelen Reasoning About Deterministic Concurrent Functional I/O. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander V. Shafarenko , Sven-Bodo Scholz General Homomorphic Overloading. [Citation Graph (0, 0)][DBLP ] Conf ] Ekaterina Stefanov , Anthony M. Sloane Simple, Effective Code-Size Reduction for Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 