Bharat Jayaraman
Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages
PADL, 2004.

@proceedings{PADL-2004,
	address       = "Dallas, Texas, USA",
	editor        = "Bharat Jayaraman",
	isbn          = "3-540-22253-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 3057,
	year          = 2004,
}

Contents (17 items)

3 ×#implementation
3 ×#named
2 ×#haskell
2 ×#programming
2 ×#prolog
2 ×#set

PADL-2004-Hudak #algebra #polymorphism

An Algebraic Theory of Polymorphic Temporal Media (PH), pp. 1–15.

PADL-2004-Fall #declarative #nondeterminism

Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.

PADL-2004-ChenSX #approach #inheritance #multi #object-oriented #programming

A Typeful Approach to Object-Oriented Programming with Multiple Inheritance (CC, RS, HX), pp. 23–38.

PADL-2004-AchtenEP #composition #user interface #visual notation

Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.

PADL-2004-NeubauerT #implementation

An Implementation of Session Types (MN, PT), pp. 56–70.

PADL-2004-AtanassowCJ #haskell #named #xml

UUXML: A Type-Preserving XML Schema-Haskell Data Binding (FA, DC, JJ), pp. 71–85.

PADL-2004-MoralesCH #c #compilation #prolog #using

Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.

PADL-2004-CorreasGCCH #implementation #persistent

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.

PADL-2004-LopesCS

Pruning in the Extended Andorra Model (RL, VSC, FMAS), pp. 120–134.

PADL-2004-Balduccini #named #quality #set

USA-Smart: Improving the Quality of Plans in Answer Set Planning (MB), pp. 135–147.

PADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.

PADL-2004-GuoG #programming

Simplifying Dynamic Programming via Tabling (HFG, GG), pp. 163–177.

PADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation

Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.

PADL-2004-BrasselCHH #functional #logic

Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.

PADL-2004-ErwigF #fortran #generative #parametricity

Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.

PADL-2004-ElsmanL #html #ml #type system #web

Typing XHTML Web Applications in ML (ME, KFL), pp. 224–238.

PADL-2004-ChenZX #case study #dependent type #haskell #implementation #simulation

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.