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
Typing XHTML Web applications in ML
M Elsman, KF Larsen
International Symposium on Practical Aspects of Declarative Languages, 224-238, 2004
Incremental execution of transformation specifications
G Sittampalam, O de Moor, KF Larsen
ACM SIGPLAN Notices 39 (1), 26-38, 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
Combining the Hol98 proof assistant with the BuDDy BDD package
M Gordon, KF Larsen
University of Cambridge, Computer Laboratory, 1999
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
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
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
Functional High Performance Financial IT: The Hiperfit Research Center in Copenhagen
J Berthold, A Filinski, F Henglein, KF Larsen, M Steffensen, B Vinter
International Symposium on Trends in Functional Programming, 98-113, 2011
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
Encryption and Reversible Computations: Work-in-progress Paper
D Táborský, KF Larsen, MK Thomsen
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
Memory efficient implementation of probability monads
KF Larsen
Unpublished manuscript (August 2011), 2011
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
Delilah: eBPF-offload on Computational Storage
N Hedam, M Tychsen Clausen, P Bonnet, S Lee, K Friis Larsen
Proceedings of the 19th International Workshop on Data Management on New …, 2023
The system can't perform the operation now. Try again later.
Articles 1–20