Publikationen
2013
- (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.
2011
Minimally Strict Polymorphic Functions
(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
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
(2010). An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. In International Workshop on Functional and Constraint Logic Programming (S. 119-136). http://doi.org/10.1007/978-3-642-20775-4_7.Exportformate
Weiterführende Links
Filter Tags
Free Theorems for Functional Logic Programs
(2010). Free Theorems for Functional Logic Programs. In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification (S. 39-48). http://doi.org/10.1145/1707790.1707797.Exportformate
Weiterführende Links
Filter Tags