Conferences in DBLP
Sergio Antoy , Zena M. Ariola Narrowing the Narrowing Space. [Citation Graph (0, 0)][DBLP ] Conf ] Adriana B. Compagnoni , Maribel Fernández On Object Calculus with Algebraic Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] José E. Gallardo , Francisco Gutiérrez , Blas C. Ruiz Inheritance and Selective Methods Dispatching in Concurrent Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Ancona , Elena Zucca Overriding Operators in a Mixin-Based Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Antony F. Bowers , Patricia M. Hill , Francisco Ibañez Resolution for Logic Programming with Universal Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Gregory A Declarative Approach to Concurrent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph A. Herrmann , Christian Lengauer Transformation of Divide & Conquer to Nested Parallel Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Ross Paterson Transforming Lazy Functions Using Comportment Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Lucas Transformations for Efficient Evaluations in Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Serrano Inline Expansion: When and How? [Citation Graph (0, 0)][DBLP ] Conf ] Christian Mossin Higher-Order Value Flow Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Carlsson , Greger Ottosson , Björn Carlson An Open-Ended Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Giavitto , Dominique De Vito , Olivier Michel Semantics and Compilation of Recursive Sequential Streams in 8½. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Ogata , Kokichi Futatsugi Implementation of Term Rewritings with the Evaluation Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Barthe , John Hatcliff , Morten Heine Sørensen Reflections on Reflections. [Citation Graph (0, 0)][DBLP ] Conf ] Hongwei Xi Evaluation Under Lambda Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiyi Huang , Chengzheng Sun , Abdul Sattar Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Sparud , Colin Runciman Tracing Lazy Functional Computations Using Redex Trails. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Cousineau Functional Programming and Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Simon J. Thompson Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Teaching Functional and Logic Programming with a Single Computational Model. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Eisinger , Tim Geisler , Sven Panne Logic Implemented Functionally. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Bruce Findler , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen DrScheme: A Pedagogic Programming Environment for Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Whittle , Alan Bundy , Helen Lowe An Editor for Helping Novices to Learn Standard ML. [Citation Graph (0, 0)][DBLP ] Conf ] David De Roure Introducing the Declarative Dungeon. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Johansson , Christer Jonsson , Thomas Lindgren , Johan Bevemyr , Håkan Millroth A Pragmatic Approach to Compilation of Erlang. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Janousek , Borivoj Melichar Formal Translations Described by Translation Grammars with LR(k) Input Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuhisa Fujinami Automatic Run-Time Code Generation in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] 