Ken Friis Larsen
Ken Friis Larsen
Associate professor, Department of Computer Science, University of Copenhagen
Verified email at - Homepage
Cited by
Cited by
Session types for Rust
TBL Jespersen, P Munksgaard, KF Larsen
Proceedings of the 11th acm sigplan workshop on generic programming, 13-22, 2015
Incremental execution of transformation specifications
G Sittampalam, O de Moor, KF Larsen
ACM SIGPLAN Notices 39 (1), 26-38, 2004
Typing XHTML Web applications in ML
M Elsman, KF Larsen
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
Design and GPGPU performance of Futhark's redomap construct
T Henriksen, KF Larsen, CE Oancea
Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries …, 2016
POETS: Process-oriented event-driven transaction systems
F Henglein, KF Larsen, JG Simonsen, C Stefansen
Journal of Logic and Algebraic Programming 78 (5), 381-401, 2009
Combining the Hol98 proof assistant with the BuDDy BDD package
M Gordon, KF Larsen
University of Cambridge, Computer Laboratory, 1999
SkyView: a user evaluation of the skyline operator
M Magnani, I Assent, MR Jakobsen, KF Larsen, K Hornbæk
Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), 2013
Generic multiset programming with discrimination-based joins and symbolic cartesian products
F Henglein, KF Larsen
Higher-Order and Symbolic Computation 23 (3), 337-370, 2010
An embedded DSL for stochastic processes
MF Werk, J Ahnfelt-Rønne, KF Larsen
FHPC@ ICFP, 93-102, 2012
Functional High Performance Financial IT: The Hiperfit Research Center in Copenhagen
J Berthold, A Filinski, F Henglein, KF Larsen, M Steffensen, B Vinter
Trends in Functional Programming: 12th International Symposium, TFP 2011 …, 2012
Generic multiset programming for language-integrated querying
F Henglein, KF Larsen
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 49-60, 2010
FunSETL—functional reporting for ERP systems
M Nissen, KF Larsen
IFL 7, 268-289, 2007
mGTK: An SML Binding of Gtk+.
KF Larsen, H Niss
USENIX Annual Technical Conference, FREENIX Track, 127-134, 2004
Experience report: Type-safe multi-tier programming with Standard ML modules
M Elsman, P Munksgaard, KF Larsen
Proceedings of the ML Family Workshop. ML 18, 2018
Memory efficient implementation of probability monads
KF Larsen
Unpublished manuscript (August 2011), 2011
Encryption and Reversible Computations: Work-in-progress Paper
D Táborský, KF Larsen, MK Thomsen
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
Modeling and implementing high performance programs on fpga
J de Fine Licht, KF Larsen, T Hoefler, S Ramos
Master's thesis, University of Copenhagen, Department of Computer Science, 2016
PMC: A programming language for embedded systems
S Mork, K Larsen, HR Andersen, P Sestoft
Proc. Int. Workshop Formal Methods for Industrial Critical Systems, 1999
Types for DSP Assempler Programs
KF Larsen
IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2006
Efficient translation of certain irregular data-parallel array comprehensions
M Elsman, KF Larsen
Trends in Functional Programming, 2020
The system can't perform the operation now. Try again later.
Articles 1–20