Publikationen

2013

  • A Semantics for Weakly Encapsulated Search in Functional Logic Programs

    Christiansen, J. ., Hanus, M. ., Reck, F. ., & Seidel, D. . (2013). A Semantics for Weakly Encapsulated Search in Functional Logic Programs. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP 13 (S. 49–60). ACM Press. http://doi.org/10.1145/2505879.2505896

    Abstract

    Exportformate

    Weiterführende Links

    Filter Tags

2011

  • Minimally Strict Polymorphic Functions

    Christiansen, J. ., & Seidel, D. . (2011). Minimally Strict Polymorphic Functions. In Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming - PPDP 11 (S. 53). ACM Press. http://doi.org/10.1145/2003476.2003487

    Abstract

    Exportformate

    Weiterführende Links

    Filter Tags

2010