Direkt zum Inhalt

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

Zitieren

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-136. 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, J., 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