9. PADL 2007:
Nice, France Michael Hanus (Ed.):
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007.
Lecture Notes in Computer Science 4354 Springer 2007, ISBN 978-3-540-69608-7
export record as
dblp key:
John Hughes :
QuickCheck Testing for Fun and Profit.
1-32
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ricardo Rocha :
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.
155-169
export record as
dblp key:
conf/padl/Sarna-StarostaR07
export record as
dblp key:
export record as
dblp key:
Alan H. Bond :
BAD, a Declarative Logic-Based Language for Brain Modeling.
200-214
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Chuck C. Liang :
Aspect-Oriented Programming in Higher-Order and Linear Logic.
305-319
export record as
dblp key: