According to our database1, Eddy Bevers authored at least 6 papers between 1988 and 1995.
Legend:Book In proceedings Article PhD thesis Other
Polyvariant Constructor Specialisation.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.
Acta Inf., 1993
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Program Bifurcation for a Polymorphic Typed Functional Language.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991
Proof by Consistency in Conditional Equational Theories.
Proceedings of the Conditional and Typed Rewriting Systems, 1990
An Exception Handling Method for Constructive Algebraic Specifications.
Softw., Pract. Exper., 1988