Research output per year
Research output per year
Research output
Search results
-
2018
Encryption and reversible computations: Work-in-progress paper
Táborský, D., Larsen, K. F. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 331-338 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2017
Automatic Incrementalization of Functional Reports
Larsen, K. F. & Henglein, F., 2017. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
-
2016
Design and GPGPU performance of Futhark's redomap construct
Henriksen, T., Larsen, K. F. & Oancea, C. E., 14 Jun 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2015
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, K. F., 30 Aug 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
2013
SkyView: a user evaluation of the skyline operator
Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F., 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2012
An embedded DSL for stochastic processes
Werk, M. F., Ahnfelt-Rønne, J. & Larsen, K. F., 2012, Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 93-101 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen
Berthold, J., Filinski, A., Henglein, F., Larsen, K. F., Steffensen, M. & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (eds.). Springer, p. 98-113 16 p. (Lecture notes in computer science, Vol. 7193).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2010
Generic multiset programming for language-integrated querying
Henglein, F. & Larsen, K. F., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Henglein, F. & Larsen, K. F., Sept 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
2009
A MuDDy Experience-ML Bindings to a BDD Library
Larsen, K. F., 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
POETS: Process-oriented Enterprise Transaction Systems
Henglein, F., Stefansen, C. O. E., Simonsen, J. G. & Larsen, K. F., 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
2008
Classifying VAT Legislation for Automation
Sudzina, F., Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2008.Research output: Contribution to conference › Paper › Research
2342 Downloads (Pure) -
FunSETL–Functional Reporting for ERP Systems
Nissen, M. N. & Larsen, K. F., 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Requirements for Logical Models for Value-Added Tax Legislation
Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2008. 5 p.Research output: Contribution to conference › Paper › Research
3912 Downloads (Pure) -
2007
Compositional Contract Specification for REA
Henglein, F., Larsen, K. F., Simonsen, J. G. & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
-
Tutorial on Modeling VAT Rules Using OWL-DL
Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2007.Research output: Contribution to conference › Paper › Research
1944 Downloads (Pure) -
2004
Incremental Execution of Transformation Specifications
Sittampalam, G., de Moor, O. & Larsen, K. F., 2004, Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. Association for Computing Machinery, p. 26 38 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
mGTK: an SML binding of Gtk+
Larsen, K. F. & Niss, H., 2004.Research output: Contribution to conference › Conference abstract for conference › Research
1 Citation (Scopus)