Publikationen

2010

• Free Theorems for Functional Logic Programs

  Christiansen, J. ., Seidel, D. ., & Voigtländer, J. . (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

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2010
  • Conference Paper
  • • Jan Christiansen
    • Daniel Seidel
    • Janis Voigtländer

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

  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

  • Suche auf Google Scholar
  • DOI Verweis

  Exportformate

  • BibTeX
  • EndNote X3 XML
  • EndNote 7 XML
  • EndNote tagged
  • RIS

  Weiterführende Links

  anzeigen ▸

  • Personenseiten

    • Christiansen, Jan

  • Fachbereich

    • Fachbereich 3: Information und Kommunikation

  Filter Tags

  • 2010
  • Conference Paper
  • • Jan Christiansen
    • Daniel Seidel
    • Janis Voigtländer