Követés
Ken Friis Larsen
Ken Friis Larsen
Associate professor, Department of Computer Science, University of Copenhagen
E-mail megerősítve itt: diku.dk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Session types for Rust
TBL Jespersen, P Munksgaard, KF Larsen
Proceedings of the 11th acm sigplan workshop on generic programming, 13-22, 2015
862015
Incremental execution of transformation specifications
G Sittampalam, O de Moor, KF Larsen
ACM SIGPLAN Notices 39 (1), 26-38, 2004
482004
Typing XHTML Web applications in ML
M Elsman, KF Larsen
International Symposium on Practical Aspects of Declarative Languages, 224-238, 2004
472004
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
252016
Combining the Hol98 proof assistant with the BuDDy BDD package
M Gordon, KF Larsen
University of Cambridge, Computer Laboratory, 1999
171999
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
152009
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
132010
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
An embedded DSL for stochastic processes
MF Werk, J Ahnfelt-Rønne, KF Larsen
FHPC@ ICFP, 93-102, 2012
92012
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
62018
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
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
Encryption and Reversible Computations: Work-in-progress Paper
D Táborský, KF Larsen, MK Thomsen
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
52018
Memory efficient implementation of probability monads
KF Larsen
Unpublished manuscript (August 2011), 2011
42011
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
32016
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
31999
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
22023
Types for DSP Assempler Programs
KF Larsen
IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2006
22006
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20