Login / Signup
David Overton
Publication Activity (10 Years)
Years Active: 1999-2002
Publications (10 Years): 0
</>
Publications
</>
David Overton
,
Zoltan Somogyi
,
Peter J. Stuckey
Constraint-based mode analysis of mercury.
PPDP
(2002)
Peter Ross
,
David Overton
,
Zoltan Somogyi
Making Mercury Programs Tail Recursive.
LOPSTR
(1999)