 | 1995 |
|---|
| 6 |       | Dirk Dussart,
Eddy Bevers,
Karel De Vlaminck:
Polyvariant Constructor Specialisation.
PEPM 1995: 54-65 |
| 1993 |
|---|
| 5 | | Eddy Bevers,
Johan Lewi:
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.
Acta Inf. 30(6): 537-568 (1993) |
| 1991 |
|---|
| 4 |  | Anne De Niel,
Eddi Bevers,
Karel De Vlaminck:
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem.
JTASPEFT/WSA 1991: 90-97 |
| 3 | | Anne De Niel,
Eddy Bevers,
Karel De Vlaminck:
Program Bifurcation for a Polymorphic Typed Functional Language.
PEPM 1991: 142-153 |
| 1990 |
|---|
| 2 | | Eddy Bevers,
Johan Lewi:
Proof by Consistency in Conditional Equational Theories.
CTRS 1990: 194-205 |
| 1988 |
|---|
| 1 | | Ivo Van Horebeek,
Johan Lewi,
Eddi Bevers,
Luc Duponcheel,
Willy Van Puymbroeck:
An Exception Handling Method for Constructive Algebraic Specifications.
Softw., Pract. Exper. 18(5): 443-458 (1988) |
Data released under the ODC-BY 1.0 license — See also our legal information page