Direkt zum Inhalt

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

Zitieren

1.
Christiansen J, Seidel D, Voigtländer J. An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. In: International Workshop on Functional and Constraint Logic Programming. ; 2010:119-136. doi:10.1007/978-3-642-20775-4_7.
Christiansen, J. ., Seidel, D. ., & Voigtländer, J. . (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
Christiansen, Jan, Daniel Seidel, und Janis Voigtländer. 2010. „An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry“. In International Workshop on Functional and Constraint Logic Programming, 119-36. doi:10.1007/978-3-642-20775-4_7.
Christiansen, Jan, Daniel Seidel, und Janis Voigtländer. „An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry“. International Workshop on Functional and Constraint Logic Programming. N.p., 2010. 119–136.
Christiansen, Jan, u. a. „An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry“. International Workshop on Functional and Constraint Logic Programming, 2010, S. 119–136.

Details

  • Number of Pages

    119-136