Ken Friis Larsen
Ken Friis Larsen
Associate professor, Department of Computer Science, University of Copenhagen
Verified email at diku.dk - Homepage
Title
Cited by
Cited by
Year
Session types for Rust
TBL Jespersen, P Munksgaard, KF Larsen
Proceedings of the 11th acm sigplan workshop on generic programming, 13-22, 2015
532015
Incremental execution of transformation specifications
G Sittampalam, O de Moor, KF Larsen
ACM SIGPLAN Notices 39 (1), 26-38, 2004
472004
Typing XHTML Web applications in ML
M Elsman, KF Larsen
International Symposium on Practical Aspects of Declarative Languages, 224-238, 2004
452004
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
222016
Combining the Hol98 proof assistant with the BuDDy BDD package
M Gordon, KF Larsen
University of Cambridge, Computer Laboratory, 1999
141999
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
132009
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
122013
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
112010
An embedded DSL for stochastic processes
MF Werk, J Ahnfelt-Rønne, KF Larsen
FHPC@ ICFP, 93-102, 2012
72012
Functional high performance financial it
J Berthold, A Filinski, F Henglein, KF Larsen, M Steffensen, B Vinter
International Symposium on Trends in Functional Programming, 98-113, 2011
62011
Generic multiset programming for language-integrated querying
F Henglein, KF Larsen
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 49-60, 2010
62010
FunSETL—functional reporting for ERP systems
M Nissen, KF Larsen
IFL 7, 268-289, 2007
62007
mGTK: An SML Binding of Gtk+.
KF Larsen, H Niss
USENIX Annual Technical Conference, FREENIX Track, 127-134, 2004
62004
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
42018
Encryption and reversible computations
D Táborský, KF Larsen, MK Thomsen
International Conference on Reversible Computation, 331-338, 2018
22018
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
22016
Memory efficient implementation of probability monads
KF Larsen
Unpublished manuscript (August 2011), 2011
22011
Types for DSP Assempler Programs
KF Larsen
IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2006
22006
PMC: A programming language for embedded systems
S Mørk, K Larsen, HR Andersen, L Danmark, P Sestoft
In Proc. Int. Workshop Formal Methods for Industrial Critical Systems, 1999
21999
Efficient translation of certain irregular data-parallel array comprehensions
M Elsman, KF Larsen
Trends in Functional Programming, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20