A Lazy Narrowing Calculus for Declarative Constraint ∗ Programming F. J. Lopez-Fraguas ´

Source URL: gpd.sip.ucm.es

Use of Correctness Assertions in Declarative Diagnosis Lunjin Lu Department Of Computer Science and Engineering Oakland University Rochester, Michigan 48309

Source URL: www.secs.oakland.edu

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ

Source URL: ect.bell-labs.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functions and mappings
• Subroutines
• Functional programming
• Charts
• Graph of a function
• Closure
• Function
• Lambda lifting

A Declarative Characterization of Different Types of Multicomponent Tree Adjoining Grammars Laura Kallmeyer SFB 441, University of T¨ ubingen,

Source URL: user.phil-fak.uni-duesseldorf.de

IT IS DECLARATIVE ON REASONING ABOUT LOGIC PROGRAMS Wlodzimierz Drabent1 Abstract

Source URL: www.ipipan.waw.pl

Probabilistic Declarative Information Extraction Daisy Zhe Wang, Eirinaios Michelakis, Michael J. Franklin, Minos Garofalakis, Joseph M. Hellerstein ICDE, Long Beach, 2nd March, 2010

Source URL: www.cise.ufl.edu

A Declarative Characterization of Different Types of Multicomponent Tree Adjoining Grammars Laura Kallmeyer SFB 441, University of T¨ ubingen,

Source URL: user.phil-fak.uni-duesseldorf.de

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs Rafael Caballero, Francisco J. Lopez-Fraguas, and Mario Rodrguez-Artalejo ? E-mail: frafa,paco, Departamento de

Source URL: www.ueda.info.waseda.ac.jp