- 2011
- Published
SMLtoJs: Hosting a standard ML compiler in a Web browser
Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a comprehensive theory of monadic effects
Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Regular expression containment: coinductive axiomatization and computational interpretation
Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.Research output: Contribution to journal › Conference article › Research › peer-review
- 2012
- Published
A self-applicable online partial evaluator for recursive flowchart languages
Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Bootstrapping compiler generators from partial evaluators
Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rock’n’roll computer science
Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
- Published
A reversible processor architecture and its reversible logic design
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a reversible functional language
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2013
- Published
Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
Glück, Robert (ed.) & Yokoyama, T. (ed.), 2013, Springer. 241 p. (Lecture notes in computer science, Vol. 7581).Research output: Book/Report › Anthology › Research › peer-review
- Published
A T2 graph-reduction approach to fusion
Henriksen, Troels & Oancea, Cosmin Eugen, 2013, Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'13). Association for Computing Machinery, p. 47-58 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a streaming model for nested data parallelism
Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2015
- 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
- 2016
- Published
EDITOR Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016
Elsman, Martin (ed.), Grelck, C. (ed.), Klöckner, A. (ed.) & Padua, D. A. (ed.), 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. Association for Computing Machinery, Inc., 69 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Programming (Computers)
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Software
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2017
- Published
LightNVM: The Linux Open-Channel SSD Subsystem.
Bjørling, M., González, J. & Bonnet, Philippe, 2017, FAST. p. 359-374 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What's Up with the Storage Hierarchy?
Bonnet, Philippe, 2017, CIDR.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
User Experience
Simonsen, Jakob Grue, 21 Jun 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Vol. 1. p. 191-206Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2018
- Published
Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences
Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.Research output: Contribution to conference › Poster › Research
- Published
Certified Compilation of Financial Contracts
Annenkov, D. & Elsman, Martin, 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: Association for Computing Machinery, p. 5:1-5:13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Focussing, MALL and the Polynomial Hierarchy
Das, A., 30 Jun 2018, Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science, Vol. 10900).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large
Elsman, Martin, Henriksen, Troels, Annenkov, D. & Oancea, Cosmin Eugen, 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery, Vol. 2. p. 97:1-97:30 30 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-28 86.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Blockchain deconstructed
Henglein, Fritz, 2018. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research
Most downloads
-
4511
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review