Forskning ved Københavns Universitet - Københavns Universitet

Forside
Ken Friis Larsen
Ken Friis Larsen

Lektor


  1. Udgivet

    Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

    Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, Brian, 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

  3. Udgivet

    POETS: Process-oriented Enterprise Transaction Systems

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I : Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  4. Udgivet

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, I : Higher-Order and Symbolic Computation. 23, 3, s. 337-370 34 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  5. Udgivet

    Generic multiset programming for language-integrated querying

    Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, s. 49-59 11 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    Design and GPGPU performance of Futhark's redomap construct

    Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, s. 17-24 8 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    Session types for rust

    Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, s. 13-22 10 s.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  8. mGTK: an SML binding of Gtk+

    Larsen, Ken Friis & Niss, H., 2004.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  9. Udgivet

    Automatic Incrementalization of Functional Reports

    Larsen, Ken Friis & Henglein, Fritz, 2017. 2 s.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  10. Udgivet

    A MuDDy Experience-ML Bindings to a BDD Library

    Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (red.). Springer, Bind 5658. s. 45-57 12 s. (Lecture notes in computer science, Bind 5658).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 Næste

ID: 546430