Michael Hanus

198 papers A* 2A 3B 13C 43Misc 5Journal 49Unranked 69
YearRankTypeTitle / Venue / Authors
2026 J jnl
Functional Logic Program Transformations.
CoRR
Michael Hanus, Steven Libby
2026 J jnl
Inferring non-failure conditions for declarative programs.
Sci. Comput. Program.
Michael Hanus
2025 C conf
CurryInfo: Managing Analysis and Verification Information about Curry Packages.
LOPSTR
Michael Hanus
2025 C conf
Determinism Types for Functional Logic Programming.
PPDP
Michael Hanus, Kai-Oliver Prott
2024 J jnl
Functional and logic programming: Selected papers of FLOPS 2022.
Sci. Comput. Program.
Michael Hanus, Atsushi Igarashi
2024 B conf
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions.
APLAS
Michael Hanus
2024 C conf
Improving Logic Programs by Adding Functions.
LOPSTR
Michael Hanus
2024 J jnl
Inferring Non-Failure Conditions for Declarative Programs.
CoRR
Michael Hanus
2024 Misc conf
Inferring Non-failure Conditions for Declarative Programs.
FLOPS
Michael Hanus
2023 C ed.
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
PADL
Michael Hanus, Daniela Inclezan
2022 C conf
A Monadic Implementation of Functional Logic Programs.
PPDP
Michael Hanus, Kai-Oliver Prott, Finn Teegen
2022 J jnl
From Logic to Functional Logic Programs.
CoRR
Michael Hanus
2022 J jnl
From Logic to Functional Logic Programs.
Theory Pract. Log. Program.
Michael Hanus
2022 Misc ed.
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
FLOPS
Michael Hanus, Atsushi Igarashi
2021 C conf
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go.
PPDP
Jonas Böhm, Michael Hanus, Finn Teegen
2021 — ed.
Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
WFLP
Michael Hanus, Claudio Sacerdoti Coen
2021 C conf
Lightweight Declarative Server-Side Web Programming.
PADL
Michael Hanus
2020 J jnl
Combining Static and Dynamic Contract Checking for Curry.
Fundam. Informaticae
Michael Hanus
2020 — conf
Memoized Pull-Tabbing for Functional Logic Programming.
WFLP
Michael Hanus, Finn Teegen
2020 J jnl
Memoized Pull-Tabbing for Functional Logic Programming.
CoRR
Michael Hanus, Finn Teegen
2020 J jnl
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020).
CoRR
Michael Hanus, Claudio Sacerdoti Coen
2019 — conf
Adding Data to Curry.
DECLARE
Michael Hanus, Finn Teegen
2019 J jnl
Adding Data to Curry.
CoRR
Michael Hanus, Finn Teegen
2019 J jnl
Equivalence Checking of Non-deterministic Operations.
CoRR
Sergio Antoy, Michael Hanus
2019 — conf
ICurry.
DECLARE
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
2019 J jnl
ICurry.
CoRR
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
2019 C conf
Improving Residuation in Declarative Programs.
PADL
Michael Hanus
2018 — ed.
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers
DECLARE
Dietmar Seipel, Michael Hanus, Salvador Abreu
2018 Misc conf
Equivalence Checking of Non-deterministic Operations.
FLOPS
Sergio Antoy, Michael Hanus
2018 — conf
Synthesizing Set Functions.
WFLP
Sergio Antoy, Michael Hanus, Finn Teegen
2018 J jnl
Synthesizing Set Functions.
CoRR
Sergio Antoy, Michael Hanus, Finn Teegen
2018 C conf
Verifying Fail-Free Declarative Programs.
PPDP
Michael Hanus
2017 — conf
A Typeful Integration of SQL into Curry.
WLP / WFLP
Michael Hanus, Julia Krone
2017 C conf
Combining Static and Dynamic Contract Checking for Curry.
LOPSTR
Michael Hanus
2017 J jnl
Combining Static and Dynamic Contract Checking for Curry.
CoRR
Michael Hanus
2017 J jnl
Default rules for Curry.
Theory Pract. Log. Program.
Sergio Antoy, Michael Hanus
2017 C conf
Eliminating Irrelevant Non-determinism in Functional Logic Programs.
PADL
Sergio Antoy, Michael Hanus
2017 — conf
Proving Non-Deterministic Computations in Agda.
WLP / WFLP
Sergio Antoy, Michael Hanus, Steven Libby
2017 — conf
Semantic Versioning Checking in a Declarative Package Manager.
ICLP (Technical Communications)
Michael Hanus
2017 J jnl
Transforming Boolean equalities into constraints.
Formal Aspects Comput.
Sergio Antoy, Michael Hanus
2016 C conf
A Parser Generator System for Level-based Programming Languages.
Software Engineering (Workshops)
Michael Hanus, Jan Rasmus Tikovsky
2016 C conf
CurryCheck: Checking Properties of Curry Programs.
LOPSTR
Michael Hanus
2016 J jnl
CurryCheck: Checking Properties of Curry Programs.
CoRR
Michael Hanus
2016 C conf
Default Rules for Curry.
PADL
Sergio Antoy, Michael Hanus
2016 J jnl
Default Rules for Curry.
CoRR
Sergio Antoy, Michael Hanus
2015 C conf
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.
PADL
Michael Hanus
2015 C conf
From Boolean Equalities to Constraints.
LOPSTR
Sergio Antoy, Michael Hanus
2014 — conf
A Partial Evaluator for Curry.
WLP/WFLP
Michael Hanus, Björn Peemöller
2014 C conf
A modular and generic analysis server system for functional logic programs.
PEPM
Michael Hanus, Fabian Skrlac
2014 J jnl
An ER-based framework for declarative web programming.
Theory Pract. Log. Program.
Michael Hanus, Sven Koschnicke
2014 — conf
Curry without Success.
WLP/WFLP
Sergio Antoy, Michael Hanus
2014 — conf
Declarative Multi-paradigm Programming.
WLP/WFLP
Michael Hanus
2014 — ed.
Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
KDPD
Michael Hanus, Ricardo Rocha
2014 C conf
Integration of Finite Domain Constraints in KiCS2.
Software Engineering (Workshops)
Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky
2014 — ch.
Multiparadigm Languages.
Computing Handbook, 3rd ed. (1)
Michael Hanus
2013 J jnl
A Generic Analysis Server System for Functional Logic Programs.
CoRR
Michael Hanus, Fabian Reck
2013 C conf
A semantics for weakly encapsulated search in functional logic programs.
PPDP
Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel
2013 J jnl
Adding Plural Arguments to Curry Programs.
Theory Pract. Log. Program.
Michael Hanus
2013 — conf
Functional Logic Programming: From Theory to Curry.
Programming Logics
Michael Hanus
2013 C conf
Implementing Equational Constraints in a Functional Language.
PADL
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2012 C conf
Contracts and Specifications for Functional Logic Programming.
PADL
Sergio Antoy, Michael Hanus
2012 — conf
Improving Lazy Non-Deterministic Computations by Demand Analysis.
ICLP (Technical Communications)
Michael Hanus
2012 C conf
Search strategies for functional logic programming.
Software Engineering (Workshops)
Michael Hanus, Björn Peemöller, Fabian Reck
2012 B conf
Xbase: implementing domain-specific languages for Java.
GPCE
Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring, Michael Hanus
2011 J jnl
An ER-based Framework for Declarative Web Programming
CoRR
Michael Hanus, Sven Koschnicke
2011 J jnl
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language.
J. Vis. Lang. Comput.
Steffen Mazanek, Michael Hanus
2011 — conf
Declarative Processing of Semistructured Web Data.
ICLP (Technical Communications)
Michael Hanus
2011 J jnl
Implementing Equational Constraints in a Functional Language
CoRR
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2011 — conf
KiCS2: A New Compiler from Curry to Haskell.
WFLP
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2011 — conf
New Functional Logic Design Patterns.
WFLP
Sergio Antoy, Michael Hanus
2011 C ed.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark
PPDP
Peter Schneider-Kamp, Michael Hanus
2010 C conf
An ER-Based Framework for Declarative Web Programming.
PADL
Michael Hanus, Sven Koschnicke
2010 J jnl
Functional logic programming.
Commun. ACM
Sergio Antoy, Michael Hanus
2010 — conf
Lazy and Enforceable Assertions for Functional Logic Programs.
WFLP
Michael Hanus
2010 — conf
Transforming Functional Logic Programs into Monadic Functional Programs.
WFLP
Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
2009 — ed.
Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
INAP/WLP
Dietmar Seipel, Michael Hanus, Armin Wolf
2009 — conf
Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort.
GI Jahrestagung
Walter Dosch, Michael Hanus
2009 C conf
Declarative Programming of User Interfaces.
PADL
Michael Hanus, Christof Kluß
2009 C ed.
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
LOPSTR
Michael Hanus
2009 C conf
Set functions for functional logic programming.
PPDP
Sergio Antoy, Michael Hanus
2008 C conf
Call pattern analysis for functional logic programs.
PPDP
Michael Hanus
2008 C conf
High-Level Database Programming in Curry.
PADL
Bernd Braßel, Michael Hanus, Marion Müller
2007 J jnl
A Generic Analysis Environment for Curry Programs
CoRR
Michael Hanus
2007 J jnl
Compiling ER Specifications into Declarative Programs
CoRR
Bernd Braßel, Michael Hanus, Marion Müller
2007 A conf
Lazy call-by-value evaluation.
ICFP
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
2007 B conf
Multi-paradigm Declarative Languages.
ICLP
Michael Hanus
2007 C ed.
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007.
PADL
Michael Hanus
2007 C conf
Putting declarative programming into the web: translating curry to javascript.
PPDP
Michael Hanus
2006 — conf
Adding Constraint Handling Rules to Curry.
WLP
Michael Hanus
2006 B conf
Overlapping Rules and Logic Variables in Functional Logic Programs .
ICLP
Sergio Antoy, Michael Hanus
2006 — conf
Reporting Failures in Functional Logic Programs.
WFLP
Michael Hanus
2006 J jnl
Type-Oriented Construction of Web User Interfaces.
Softwaretechnik-Trends
Michael Hanus
2006 C conf
Type-oriented construction of web user interfaces.
PPDP
Michael Hanus
2005 — conf
A generic analysis environment for declarative programs.
WCFLP
Michael Hanus
2005 — ed.
Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
INAP/WLP
Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
2005 C conf
Declarative Programming with Function Patterns.
LOPSTR
Sergio Antoy, Michael Hanus
2005 B conf
Nondeterminism Analysis of Functional Logic Programs.
ICLP
Bernd Braßel, Michael Hanus
2005 J jnl
Operational semantics for declarative multi-paradigm languages.
J. Symb. Comput.
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2005 — ed.
Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005
FDPE@ICFP
Robby Bruce Findler, Michael Hanus, Simon Thompson
2005 — ed.
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005
WCFLP
Sergio Antoy, Michael Hanus
2005 J jnl
Specialization of functional logic programs based on needed narrowing.
Theory Pract. Log. Program.
María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
2004 — conf
A Virtual Machine for Functional Logic Computations.
IFL
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
2004 C conf
A semantics for tracing declarative multi-paradigm programs.
PPDP
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
2004 J jnl
Concurrent distinct choices.
J. Funct. Program.
Sergio Antoy, Michael Hanus
2004 J jnl
Dynamic Predicates in Functional Logic Programs.
J. Funct. Log. Program.
Michael Hanus
2004 J jnl
Encapsulating Non-Determinism in Functional Logic Computations.
J. Funct. Log. Program.
Bernd Braßel, Michael Hanus, Frank Huch
2004 C conf
Observing Functional Logic Computations.
PADL
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
2004 C conf
Run-Time Profiling of Functional Logic Programs.
LOPSTR
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
2004 J jnl
Specialization of Functional Logic Programs Based on Needed Narrowing
CoRR
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
2003 J jnl
A residualizing semantics for the partial evaluation of functional logic programs.
Inf. Process. Lett.
Elvira Albert, Michael Hanus, Germán Vidal
2003 C conf
Conditional narrowing without conditions.
PPDP
Sergio Antoy, Bernd Brassel, Michael Hanus
2003 — conf
Towards translating embedded Curry to C.
WFLP
Michael Hanus, Klaus Höppner, Frank Huch
2002 — conf
A Deterministic Operational Semantics for Functional Logic Programs.
APPIA-GULP-PRODE
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002 J jnl
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.
J. Funct. Log. Program.
Elvira Albert, Michael Hanus, Germán Vidal
2002 — conf
An Operational Semantics for Declarative Multi-Paradigm Languages.
WRS
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002 Misc conf
Functional Logic Design Patterns.
FLOPS
Sergio Antoy, Michael Hanus
2002 — ed.
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers
WFLP
Michael Hanus
2002 — conf
Operational Semantics for Functional Logic Languages.
WFLP
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002 — conf
Programming Autonomous Robots in Curry.
WFLP
Michael Hanus, Klaus Höppner
2001 Misc conf
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.
FLOPS
Elvira Albert, Michael Hanus, Germán Vidal
2001 J jnl
An Evaluation Semantics for Narrowing-Based Functional Logic Languages.
J. Funct. Log. Program.
Michael Hanus, Salvador Lucas
2001 C conf
An Implementation of Narrowing Strategies.
PPDP
Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
2001 — conf
An Integrated Development Environment for Declarative Multi-Paradigm Programming.
WLPE
Michael Hanus, Johannes Koj
2001 C conf
High-Level Server Side Web Scripting in Curry.
PADL
Michael Hanus
2001 — conf
Preface.
WFLP
Michael Hanus
2001 — conf
Reduction Strategies for Declarative Programming.
WRS
Michael Hanus
2000 C conf
A Functional Logic Programming Approach to Graphical User Interfaces.
PADL
Michael Hanus
2000 J jnl
A needed narrowing strategy.
J. ACM
Sergio Antoy, Rachid Echahed, Michael Hanus
2000 — conf
Compiling Multi-Paradigm Declarative Programs into Prolog.
FroCoS
Sergio Antoy, Michael Hanus
2000 — conf
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.
IFL
Michael Hanus, Frank Huch, Philipp Niederau
2000 — conf
PACS: The Portland Aachen Curry System.
WLP
Michael Hanus
2000 — conf
Realistic Program Specialization in a Multi-Paradigm Language.
WFLP
Elvira Albert, Michael Hanus, Germán Vidal
2000 — conf
Server Side Web Scripting in Curry.
WFLP
Michael Hanus
2000 — conf
Server Side Web Scripting in Curry.
WLP
Michael Hanus
2000 — conf
TkCurry: A Declarative Approach to GUI Programming.
WLP
Michael Hanus
2000 — conf
Type-based Nondeterminism Checking in Functional Logic Programs.
WLP
Frank Steiner, Michael Hanus
2000 C conf
Type-based nondeterminism checking in functional logic programs.
PPDP
Michael Hanus, Frank Steiner
2000 B conf
Using an Abstract Representation to Specialize Functional Logic Programs.
LPAR
Elvira Albert, Michael Hanus, Germán Vidal
1999 B conf
A Partial Evaluation Framework for Curry Programs.
LPAR
Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
1999 — conf
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages.
Fuji International Symposium on Functional and Logic Programming
Michael Hanus, Salvador Lucas
1999 J jnl
An Abstract Machine for Curry and Its Concurrent Implementation in Java.
J. Funct. Log. Program.
Michael Hanus, Ramin Sadre
1999 C conf
Distributed Programming in a Multi-Paradigm Declarative Language.
PPDP
Michael Hanus
1999 J jnl
Higher-Order Narrowing with Definitional Trees.
J. Funct. Program.
Michael Hanus, Christian Prehofer
1999 A conf
Specialization of Inductively Sequential Functional Logic Programs.
ICFP
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
1998 — conf
Controlling Search in Declarative Programs.
PLILP/ALP
Michael Hanus, Frank Steiner
1998 — conf
Controlling Search in Funtional Logic Programs.
IJCSLP
Michael Hanus, Frank Steiner
1998 J jnl
Strongly Sequential and Inductively Sequential Term Rewriting Systems.
Inf. Process. Lett.
Michael Hanus, Salvador Lucas, Aart Middeldorp
1997 — conf
A Unified Computation Model for Declarative Programming.
APPIA-GULP-PRODE
Michael Hanus
1997 A* conf
A Unified Computation Model for Functional and Logic Programming.
POPL
Michael Hanus
1997 — ed.
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings
ALP/HOA
Michael Hanus, Jan Heering, Karl Meinke
1997 — conf
Curry: A Multi-Paradigm Declarative Language (system description).
WLP
Michael Hanus
1997 J jnl
Integration of Declarative Paradigms: Benefits and Challenges.
ACM SIGPLAN Notices
Michael Hanus
1997 J jnl
Lazy Narrowing with Simplification.
Comput. Lang.
Michael Hanus
1997 — conf
Multi-Paradigm Declarative Programming (Abstract).
ILPS
Michael Hanus
1997 B conf
Parallel Evaluation Strategies for Functional Logic Languages.
ICLP
Sergio Antoy, Rachid Echahed, Michael Hanus
1997 — conf
Teaching Functional and Logic Programming with a Single Computational Model.
PLILP
Michael Hanus
1996 — conf
A Denotational Semantics for Needed Narrowing.
APPIA-GULP-PRODE
Michael Hanus, Salvador Lucas
1996 — ed.
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings
ALP
Michael Hanus, Mario Rodríguez-Artalejo
1996 — conf
Higher-Order Narrowing with Definitional Trees.
RTA
Michael Hanus, Christian Prehofer
1996 J jnl
Integration of Declarative Paradigms: Benefits and Challenges.
ACM Comput. Surv.
Michael Hanus
1996 J jnl
Integration of Functional and Logic Programming.
ACM Comput. Surv.
Michael Hanus, Herbert Kuchen
1995 J jnl
Analysis of Residuating Logic Programs.
J. Log. Program.
Michael Hanus
1995 J jnl
Compile-time Analysis of Nonlinear Constraints in CLP(
New Gener. Comput.
Michael Hanus
1995 C conf
Efficient Translation of Lazy Functional Logic Programs into Prolog.
LOPSTR
Michael Hanus
1995 — conf
Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract).
ILPS
Michael Hanus
1995 B conf
On Extra Variables in (Equational) Logic Programming.
ICLP
Michael Hanus
1994 A* conf
A Needed Narrowing Strategy.
POPL
Sergio Antoy, Rachid Echahed, Michael Hanus
1994 — conf
Combining Lazy Narrowing and Simplification.
PLILP
Michael Hanus
1994 — ed.
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
ICLP Workshop: Integration of Declarative Paradigms
Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro
1994 A conf
Lazy Unification with Simplification.
ESOP
Michael Hanus
1994 B conf
Mode Analysis of Functional Logic Programs
SAS
Michael Hanus, Frank Zartmann
1994 J jnl
The Integration of Functions into Logic Programming: From Theory to Practice.
J. Log. Program.
Michael Hanus
1994 B conf
Towards the Global Optimization of Functional Logic Programs.
CC
Michael Hanus
1993 — conf
A Debugging Model for Functional Logic Programs.
PLILP
Michael Hanus, Berthold Josephs
1993 B conf
Analysis of Nonlinear Constraints in CLP(R).
ICLP
Michael Hanus
1993 — conf
Combining Lazy Narrowing and Normalization.
ILPS
Michael Hanus
1993 — conf
Lazy Unification with Inductive Simplification.
WLP
Michael Hanus
1992 — conf
A Debugging Model for Functional Logic Programs.
LPE
Michael Hanus, Berthold Josephs
1992 — conf
An Abstract Interpretation Algorithm for Residuating Logic Programs.
WSA
Michael Hanus
1992 — conf
Improving Control of Logic Programs by Using Functional Logic Languages.
PLILP
Michael Hanus
1992 — conf
Incremental Rewriting in Narrowing Derivations.
ALP
Michael Hanus
1992 — ch.
Logic Programming with Type Specifications.
Types in Logic Programming
Michael Hanus
1992 — conf
On the Completeness of Residuation.
JICSLP
Michael Hanus
1991 — conf
Efficient Implementation of Narrowing and Rewriting.
PDK
Michael Hanus
1991 J jnl
Horn Clause Programs with Polymorphic Types: Semantics and Resolution.
Theor. Comput. Sci.
Michael Hanus
1991 — conf
Parametric Order-Sorted Types in Logic Programming.
TAPSOFT, Vol.2
Michael Hanus
1991 — conf
The ALF System.
PLILP
Michael Hanus
1991 — conf
The ALF System: An Efficient Implementation of a Functional Logic Language.
PDK
Michael Hanus
1990 — conf
A Functional and Logic Language with Polymorphic Types (Extended Abstract).
DISCO
Michael Hanus
1990 — conf
Compiling Logic Programs with Equality.
PLILP
Michael Hanus
1990 — conf
Logic Programs with Equational Type Specifications (Extended Abstract).
ALP
Michael Hanus
1989 — conf
Horn Clause Programs with Polymorphic Types: Semantics and Resolution.
TAPSOFT, Vol.2
Michael Hanus
1989 B conf
Polymorphic High-Order Programming in Prolog.
ICLP
Michael Hanus
1988 — conf
Formal Specification of a Prolog Compiler.
PLILP
Michael Hanus
1988 — conf
Horn Clause Specifications with Polymorphic Types.
ADT
Michael Hanus
1988 — —
Horn clause specifications with polymorphic types.
Michael Hanus
1986 — conf
Formatierer für Text und Graphik und ihre Implementierung mit Smalltalk-80.
Graphik in Dokumenten
Michael Hanus
1985 — conf
Modular Logic Programming of Compilers.
SLP
Harald Ganzinger, Michael Hanus