Direkt zum Inhalt

Publikationen

2011

  • Sloth – a Tool for Checking Minimal-Strictness

    Christiansen, J. (2011). Sloth – a Tool for Checking Minimal-Strictness. In R. Rocha & Launchbury, J. (Hrsg.), Practical Aspects of Declarative Languages (S. 160-174). Springer Berlin Heidelberg.

    Abstract

    Weiterführende Links

    Filter Tags