Implementation and Application of Functional Languages: 17th ...
Preview
... Papers Andrew Butterfield, Clemens Grelck, Frank Huch. Proof Tool Support for Explicit Strictness Marko van Eekelen and Maarten de Mol Institute for Computing and Information Sciences Radboud University Nijmegen The Netherlands ...