Journal/Conference/Workshop Papers of Michael Hanus

Papers are sorted by date of publication (newest first).
Go directly to the papers appeared in year 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1985

Most of the papers (or their final versions) are copyrighted by the authors or by the publisher. The papers are provided for personal use only; other uses require the explicit permission of the copyright holder!

Declarative Programming of User Interfaces
(with Christof Kluß)
Proc. of the 22th Workshop on (Constraint) Logic Programming (WLP 2008), 2008
Available: Abstract | PDF (177 KB) | BibTeX-Entry (1 KB)

Call Pattern Analysis for Functional Logic Programs
Proc. of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'08), 2008
Available: Abstract | PDF (239 KB) | BibTeX-Entry (1 KB)
© ACM Press

High-Level Database Programming in Curry
(with Bernd Braßel and Marion Müller)
Proc. of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), 2008
Available: Abstract | PDF (193 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Lazy Call-By-Value Evaluation
(with Bernd Braßel and Sebastian Fischer and Frank Huch and Germán Vidal)
Proc. of the International Conference on Functional Programming (ICFP 2007), 2007
Available: Abstract | PDF (193 KB) | BibTeX-Entry (1 KB)
© ACM Press

Multi-paradigm Declarative Languages
International Conference on Logic Programming (ICLP 2007), 2007
Available: Abstract | PDF (298 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Compiling ER Specifications into Declarative Programs
(with Bernd Braßel and Marion Müller)
Proc. of the 17th Workshop on Logic-based Methods in Programming Environments (WLPE'07), 2007
Available: Abstract | PDF (185 KB) | BibTeX-Entry (1 KB)

Putting Declarative Programming into the Web: Translating Curry to JavaScript
Proc. of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'07), 2007
Available: Abstract | Postscript (415 KB) | PDF (187 KB) | BibTeX-Entry (2 KB)
© ACM Press

Reporting Failures in Functional Logic Programs
Electronic Notes in Theoretical Computer Science, Vol. 177, 2007
Available: Abstract | BibTeX-Entry (1 KB)

Reporting Failures in Functional Logic Programs
Proc. of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), 2006
Available: Abstract | PDF (209 KB) | BibTeX-Entry (1 KB)

Overlapping Rules and Logic Variables in Functional Logic Programs
(with Sergio Antoy)
International Conference on Logic Programming (ICLP 2006), 2006
Available: Abstract | Postscript (385 KB) | PDF (226 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

CurryBrowser: A Generic Analysis Environment for Curry Programs
Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE'06), 2006
Available: Abstract | PDF (411 KB) | BibTeX-Entry (1 KB)

Type-Oriented Construction of Web User Interfaces
Proc. of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'06), 2006
Available: Abstract | Postscript (904 KB) | Postscript (gzipped) (315 KB) | PDF (251 KB) | BibTeX-Entry (1 KB)
© ACM Press

Adding Constraint Handling Rules to Curry
Proc. of the 20th Workshop on Logic Programming (WLP 2006), 2006
Available: Abstract | PDF (164 KB) | Postscript (288 KB) | Postscript (gzipped) (134 KB) | BibTeX-Entry (1 KB)

Declarative Programming with Function Patterns
(with Sergio Antoy)
Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), 2006
Available: Abstract | Postscript (212 KB) | Postscript (gzipped) (87 KB) | PDF (123 KB) | BibTeX-Entry (1 KB)

Nondeterminism Analysis of Functional Logic Programs
(with Bernd Braßel)
International Conference on Logic Programming (ICLP'05), 2005
Available: Abstract | Postscript (452 KB) | Postscript (gzipped) (211 KB) | PDF (265 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Generic Analysis Environment for Declarative Programs
Proc. of the International Workshop on Curry and Functional Logic Programming (WCFLP 2005), 2005
Available: Abstract | PDF (274 KB) | Postscript (927 KB) | Postscript (gzipped) (239 KB) | BibTeX-Entry (1 KB)
© ACM Press

Specialization of Functional Logic Programs Based on Needed Narrowing
(with María Alpuente and Salvador Lucas and Germán Vidal)
Theory and Practice of Logic Programming, 2005
Available: Abstract | PDF (386 KB) | BibTeX-Entry (2 KB)

Operational Semantics for Declarative Multi-Paradigm Languages
(with Elvira Albert and Frank Huch and Javier Oliver and Germán Vidal)
Journal of Symbolic Computation, 2005
Available: Abstract | PDF (342 KB) | BibTeX-Entry (2 KB)

Run-Time Profiling of Functional Logic Programs
(with Bernd Braßel and Frank Huch and Josep Silva and Germán Vidal)
Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), 2005
Available: Abstract | Postscript (411 KB) | Postscript (gzipped) (191 KB) | PDF (240 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Virtual Machine for Functional Logic Computations
(with Sergio Antoy and Jimeng Liu and Andrew Tolmach)
Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004), 2005
Available: Abstract | Postscript (272 KB) | Postscript (gzipped) (112 KB) | PDF (159 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Encapsulating Non-Determinism in Functional Logic Computations
(with Bernd Braßel and Frank Huch)
Journal of Functional and Logic Programming, 2004
Available: Abstract | Postscript (311 KB) | Postscript (gzipped) (113 KB) | PDF (181 KB) | BibTeX-Entry (2 KB)

Dynamic Predicates in Functional Logic Programs
Journal of Functional and Logic Programming, 2004
Available: Abstract | Postscript (331 KB) | Postscript (gzipped) (155 KB) | PDF (196 KB) | BibTeX-Entry (1 KB)

A Semantics for Tracing Declarative Multi-Paradigm Programs
(with Bernd Braßel and Frank Huch and Germán Vidal)
Proc. of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04), 2004
Available: Abstract | Postscript (322 KB) | Postscript (gzipped) (106 KB) | PDF (150 KB) | BibTeX-Entry (1 KB)
© ACM Press

Concurrent Distinct Choices
(with Sergio Antoy)
Journal of Functional Programming, 2004
Available: Abstract | PDF (155 KB) | BibTeX-Entry (1 KB)

Observing Functional Logic Computations
(with Bernd Braßel and Olaf Chitil and Frank Huch)
Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), 2004
Available: Abstract | Postscript (853 KB) | Postscript (gzipped) (97 KB) | PDF (122 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Conditional Narrowing without Conditions
(with Sergio Antoy and Bernd Braßel)
Proc. of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03), 2003
Available: Abstract | Postscript (251 KB) | Postscript (gzipped) (90 KB) | PDF (182 KB) | BibTeX-Entry (1 KB)
© ACM Press

Towards Translating Embedded Curry to C
(with Klaus Höppner and Frank Huch)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2003), Vol. 86, No. 3, 2003
Available: Abstract | PDF (290 KB) | BibTeX-Entry (1 KB)

An Open System to Support Web-based Learning
(with Frank Huch)
Proc. of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), 2003
Available: Abstract | PDF (172 KB) | Postscript (609 KB) | Postscript (gzipped) (223 KB) | BibTeX-Entry (1 KB)

A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
(with Elvira Albert and Germán Vidal)
Information Processing Letters, 2003
Available: Abstract | PDF (194 KB) | BibTeX-Entry (1 KB)
© Elsevier

Functional Logic Design Patterns
(with Sergio Antoy)
Proc. of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002), 2002
Available: Abstract | DVI (87 KB) | Postscript (137 KB) | Postscript (gzipped) (53 KB) | PDF (178 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

An Operational Semantics for Functional Logic Languages
(with Elvira Albert and Frank Huch and Javier Oliver and Germán Vidal)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2002), Vol. 76, 2002
Available: Abstract | PDF (241 KB) | BibTeX-Entry (1 KB)

Programming Autonomous Robots in Curry
(with Klaus Höppner)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2002), Vol. 76, 2002
Available: Abstract | PDF (241 KB) | BibTeX-Entry (1 KB)

An Operational Semantics for Declarative Multi-Paradigm Languages
(with Elvira Albert and Frank Huch and Javier Oliver and Germán Vidal)
Electronic Notes in Theoretical Computer Science (Selected papers from WRS 2002), Vol. 70(6), 2002
Available: Abstract | PDF (278 KB) | BibTeX-Entry (1 KB)

An Operational Semantics for Declarative Multi-Paradigm Languages
(with Elvira Albert and Frank Huch and Javier Oliver and Germán Vidal)
Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), 2002
Available: Abstract | PDF (257 KB) | Postscript (224 KB) | Postscript (gzipped) (89 KB) | BibTeX-Entry (1 KB)

CurryDoc: A Documentation Tool for Declarative Programs
Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), 2002
Available: Abstract | PDF (113 KB) | Postscript (444 KB) | Postscript (gzipped) (105 KB) | BibTeX-Entry (1 KB)

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
(with Elvira Albert and Germán Vidal)
Journal of Functional and Logic Programming, 2002
Available: Abstract | Postscript (379 KB) | Postscript (gzipped) (146 KB) | PDF (389 KB) | BibTeX-Entry (1 KB)
© EAPLS

An Integrated Development Environment for Declarative Multi-Paradigm Programming
(with Johannes Koj)
Proc. of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001
Available: Abstract | PDF (222 KB) | Postscript (569 KB) | Postscript (gzipped) (127 KB) | BibTeX-Entry (1 KB)

Reduction Strategies for Declarative Programming
Electronic Notes in Theoretical Computer Science 57, 2001
Available: Abstract | PDF (145 KB) | Postscript (162 KB) | Postscript (gzipped) (66 KB) | BibTeX-Entry (1 KB)

An Implementation of Narrowing Strategies
(with Sergio Antoy and Bart Massey and Frank Steiner)
Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), 2001
Available: Abstract | DVI (91 KB) | DVI (gzipped) (39 KB) | Postscript (226 KB) | Postscript (gzipped) (88 KB) | BibTeX-Entry (1 KB)
© ACM Press

An Evaluation Semantics for Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Journal of Functional and Logic Programming, 2001
Available: Abstract | DVI (159 KB) | DVI (gzipped) (62 KB) | Postscript (430 KB) | Postscript (gzipped) (157 KB) | BibTeX-Entry (1 KB)
© EAPLS

High-Level Server Side Web Scripting in Curry
Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), 2001
Available: Abstract | Postscript (649 KB) | Postscript (gzipped) (65 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
(with Elvira Albert and Germán Vidal)
Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001), 2001
Available: Abstract | DVI (78 KB) | DVI (gzipped) (31 KB) | Postscript (184 KB) | Postscript (gzipped) (70 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
(with Frank Huch and Philipp Niederau)
Proc. of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), 2001
Available: Abstract | DVI (70 KB) | DVI (gzipped) (28 KB) | Postscript (231 KB) | Postscript (gzipped) (90 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Needed Narrowing Strategy
(with Sergio Antoy and Rachid Echahed)
Journal of the ACM, 2000
Available: Abstract | DVI (223 KB) | DVI (gzipped) (85 KB) | Postscript (498 KB) | Postscript (gzipped) (178 KB) | PDF (369 KB) | BibTeX-Entry (1 KB)

Using an Abstract Representation to Specialize Functional Logic Programs
(with Elvira Albert and Germán Vidal)
Proc. of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), 2000
Available: Abstract | DVI (82 KB) | DVI (gzipped) (34 KB) | Postscript (260 KB) | Postscript (gzipped) (101 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Type-based Nondeterminism Checking in Functional Logic Programs
(with Frank Steiner)
Proc. of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000), 2000
Available: Abstract | Postscript (334 KB) | Postscript (gzipped) (96 KB) | BibTeX-Entry (1 KB)
© ACM Press

Compiling Multi-Paradigm Declarative Programs into Prolog
(with Sergio Antoy)
Proc. of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), 2000
Available: Abstract | DVI (63 KB) | Postscript (191 KB) | Postscript (gzipped) (76 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Functional Logic Programming Approach to Graphical User Interfaces
Proc. of the Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), 2000
Available: Abstract | Postscript (521 KB) | Postscript (gzipped) (76 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Proc. of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), 1999
Available: Abstract | DVI (71 KB) | Postscript (250 KB) | Postscript (gzipped) (97 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Distributed Programming in a Multi-Paradigm Declarative Language
Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), 1999
Available: Abstract | Postscript (985 KB) | Postscript (gzipped) (536 KB) | BibTeX-Entry (2 KB)
© Springer-Verlag
I suggest to read this version rather than the version in the proceedings since the latter has been reformatted (without asking me) in a bad style!

A Partial Evaluation Framework for Curry Programs
(with Elvira Albert and María Alpuente and Germán Vidal)
Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999
Available: Abstract | DVI (91 KB) | PDF (246 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Specialization of Inductively Sequential Functional Logic Programs
(with María Alpuente and Salvador Lucas and Germán Vidal)
Proc. of the International Conference on Functional Programming (ICFP'99), 1999
Available: Abstract | PDF (208 KB) | BibTeX-Entry (1 KB)
© ACM Press

Higher-Order Narrowing with Definitional Trees
(with Christian Prehofer)
Journal of Functional Programming, 1999
Available: Abstract | DVI (193 KB) | BibTeX-Entry (2 KB)

An Abstract Machine for Curry and its Concurrent Implementation in Java
(with Ramin Sadre)
Journal of Functional and Logic Programming, 1999
Available: Abstract | DVI (130 KB) | BibTeX-Entry (1 KB)

Controlling Search in Declarative Programs
(with Frank Steiner)
Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98), 1998
Available: Abstract | DVI (69 KB) | Postscript (220 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Strongly sequential and inductively sequential term rewriting systems
(with Salvador Lucas and Aart Middeldorp)
Information Processing Letters, 1998
Available: Abstract | DVI (54 KB) | Postscript (223 KB) | BibTeX-Entry (1 KB)
© Elsevier

A Concurrent Implementation of Curry in Java
(with Ramin Sadre)
Proc. ILPS'97 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, 1997
Available: Abstract | DVI (67 KB) | BibTeX-Entry (1 KB)
Revised and extended version

Teaching Functional and Logic Programming with a Single Computation Model
Proc. Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97), 1997
Available: Abstract | DVI (74 KB) | Postscript (226 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Parallel Evaluation Strategies for Functional Logic Languages
(with Sergio Antoy and Rachid Echahed)
International Conference on Logic Programming (ICLP'97), 1997
Available: Abstract | DVI (73 KB) | Postscript (261 KB) | BibTeX-Entry (1 KB)

A Unified Computation Model for Declarative Programming
1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), 1997
Available: Abstract | DVI (79 KB) | Postscript (294 KB) | BibTeX-Entry (1 KB)

Lazy Narrowing with Simplification
Journal of Computer Languages, 1997
Available: Abstract | DVI (151 KB) | Postscript (393 KB) | BibTeX-Entry (1 KB)

A Unified Computation Model for Functional and Logic Programming
Proc. of the 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97), 1997
Available: Abstract | DVI (101 KB) | Postscript (262 KB) | PDF (211 KB) | BibTeX-Entry (1 KB)
© ACM Press

Integration of Declarative Paradigms: Benefits and Challenges
ACM Computing Surveys, 1996
Available: Abstract | BibTeX-Entry (1 KB)
© ACM Press
Also appeared inACM SIGPLAN Notices, Vol. 32, No. 1, 1997, 77-79.Postscript available from ACM

Higher-Order Narrowing with Definitional Trees
(with Christian Prehofer)
Seventh International Conference on Rewriting Techniques and Applications (RTA'96), 1996
Available: Abstract | DVI (73 KB) | Postscript (247 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag
Revised and extended version

A Denotational Semantics for Needed Narrowing
(with Salvador Lucas)
Proc. of the 1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96), 1996
Available: Abstract | DVI (52 KB) | Postscript (235 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag
Revised and extended version

Integration of Declarative Paradigms: Benefits and Challenges
(with Herbert Kuchen)
ACM Computing Surveys, 1996
Available: Abstract | DVI (13 KB) | Postscript (89 KB) | BibTeX-Entry (0 KB)
© ACM Press

Curry: A Truly Functional Logic Language
(with Herbert Kuchen and Juan Jose Moreno-Navarro)
ILPS'95 Workshop on Visions for the Future of Logic Programming, 1995
Available: Abstract | DVI (56 KB) | Postscript (213 KB) | BibTeX-Entry (1 KB)

Efficient Translation of Lazy Functional Logic Programs into Prolog
Fifth International Workshop on Logic Program Synthesis and Transformation (LOPSTR'95), 1995
Available: Abstract | DVI (64 KB) | Postscript (207 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Analysis of Residuating Logic Programs
Journal of Logic Programming, 1995
Available: Abstract | DVI (131 KB) | Postscript (342 KB) | BibTeX-Entry (1 KB)

On Extra Variables in (Equational) Logic Programming
International Conference on Logic Programming (ICLP'95), 1995
Available: Abstract | DVI (70 KB) | Postscript (255 KB) | BibTeX-Entry (2 KB)

Compile-Time Analysis of Nonlinear Constraints in CLP(R)
New Generation Computing, 1995
Available: Abstract | DVI (128 KB) | Postscript (338 KB) | BibTeX-Entry (1 KB)

The Integration of Functions into Logic Programming: From Theory to Practice
Journal of Logic Programming, 1994
Available: Abstract | DVI (201 KB) | Postscript (419 KB) | PDF (359 KB) | BibTeX-Entry (1 KB)

Mode Analysis of Functional Logic Programs
(with Frank Zartmann)
First International Static Analysis Symposium (SAS'94), 1994
Available: Abstract | DVI (77 KB) | Postscript (238 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Combining Lazy Narrowing and Simplification
6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 1994
Available: Abstract | DVI (67 KB) | Postscript (200 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Lazy Unification with Simplification
Proc. 5th European Symposium on Programming (ESOP'94), 1994
Available: Abstract | DVI (79 KB) | Postscript (234 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Towards the Global Optimization of Functional Logic Programs
Proc. 5th International Conference on Compiler Construction, 1994
Available: Abstract | DVI (69 KB) | Postscript (210 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Needed Narrowing Strategy
(with Sergio Antoy and Rachid Echahed)
Proc. of the 21th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'94), 1994
Available: Abstract | DVI (88 KB) | Postscript (239 KB) | BibTeX-Entry (1 KB)
© ACM Press
Revised and extended version

A Debugging Model for Functional Logic Programs
(with Berthold Josephs)
5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), 1993
Available: Abstract | DVI (62 KB) | Postscript (193 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Analysis of Nonlinear Constraints in CLP(R)
Proc. Tenth International Conference on Logic Programming (ICLP'93), 1993
Available: Abstract | DVI (82 KB) | Postscript (270 KB) | BibTeX-Entry (1 KB)

On the Completeness of Residuation
Proc. Joint International Conference and Symposium on Logic Programming (JICSLP'92), 1992
Available: Abstract | DVI (65 KB) | Postscript (225 KB) | BibTeX-Entry (1 KB)

Incremental Rewriting in Narrowing Derivations
Proc. of the 3rd International Conference on Algebraic and Logic Programming (ALP'92), 1992
Available: Abstract | DVI (68 KB) | Postscript (206 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Improving Control of Logic Programs by Using Functional Logic Languages
4th International Symposium on Programming Language Implementation and Logic Programming (PLILP'92), 1992
Available: Abstract | DVI (88 KB) | Postscript (233 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Logic Programming with Type Specifications
Chapter 3 in "Types in Logic Programming" (F. Pfenning, ed.), 1992
Available: Abstract | DVI (224 KB) | Postscript (538 KB) | BibTeX-Entry (1 KB)

Horn Clause Programs with Polymorphic Types: Semantics and Resolution
Theoretical Computer Science, 1991
Available: Abstract | BibTeX-Entry (1 KB)

Efficient Implementation of Narrowing and Rewriting
Proc. International Workshop on Processing Declarative Knowledge (PDK'91), 1991
Available: Abstract | DVI (89 KB) | Postscript (240 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Parametric Order-Sorted Types in Logic Programming
Proc. of the International Conference on Theory and Practice of Software Development (TAPSOFT'91), 1991
Available: Abstract | DVI (94 KB) | Postscript (289 KB) | BibTeX-Entry (2 KB)
© Springer-Verlag

Logic Programs with Equational Type Specifications
Proc. of the 2nd International Conference on Algebraic and Logic Programming (ALP'90), 1990
Available: Abstract | DVI (94 KB) | Postscript (269 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag
Revised and extended version

Compiling Logic Programs with Equality
2nd International Workshop on Programming Language Implementation and Logic Programming (PLILP'90), 1990
Available: Abstract | DVI (83 KB) | Postscript (211 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

A Functional and Logic Language with Polymorphic Types
Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'90), 1990
Available: Abstract | DVI (64 KB) | Postscript (204 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag

Polymorphic Higher-Order Programming in Prolog
Proc. of the Sixth International Conference on Logic Programming (ICLP'89), 1989
Available: Abstract | DVI (63 KB) | Postscript (185 KB) | BibTeX-Entry (1 KB)

Horn Clause Programs with Polymorphic Types: Semantics and Resolution
Proc. of the International Conference on Theory and Practice of Software Development (TAPSOFT'89), 1989
Available: Abstract | DVI (86 KB) | Postscript (260 KB) | BibTeX-Entry (1 KB)
© Springer-Verlag
Revised and extended version

Formal Specification of a Prolog Compiler
International Workshop on Programming Language Implementation and Logic Programming (PLILP'88), 1988
Available: Abstract | DVI (34 KB) | Postscript (146 KB) | BibTeX-Entry (0 KB)
© Springer-Verlag

Modular Logic Programming of Compilers
(with Harald Ganzinger)
Proc. of the IEEE International Symposium on Logic Programming (SLP'85), 1985
Available: Abstract | BibTeX-Entry (0 KB)