Ken Friis Larsen
Associate Professor
ORCID: 0000-0002-0990-5127
1 - 1 out of 1Page size: 50
- Published
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 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
ID: 546430
Most downloads
-
4111
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2510
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published -
2086
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Research output: Contribution to conference › Paper › Research
Published