Fritz Henglein

Marcos Antonio Vaz Salles

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2023

Trading Green bonds using Distributed Ledger Technology.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Information Systems, 2023

2022

Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee.

[BibT_eX]

[DOI]

Frontiers Blockchain, 2022

Building blocks of sharding blockchain systems: Concepts, approaches, and open problems.

[BibT_eX]

[DOI]

Yizhong Liu

Jianwei Liu

Comput. Sci. Rev., 2022

Contract-Backed Digital Cash.

[BibT_eX]

[DOI]

CoRR, 2022

The Programming of Algebra.

[BibT_eX]

[DOI]

Robin Kaarsgaard

Mikkel Kragh Mathiesen

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Combinatory Adjoints and Differentiation.

[BibT_eX]

[DOI]

Martin Elsman

Robin Kaarsgaard

Mikkel Kragh Mathiesen

Robert Schenck

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

Algeo: An Algebraic Approach to Reversibility.

[BibT_eX]

[DOI]

Robin Kaarsgaard

Mikkel Kragh Mathiesen

Proceedings of the Reversible Computation - 14th International Conference, 2022

2020

A Formally Verified Static Analysis Framework for Compositional Contracts.

[BibT_eX]

[DOI]

Christian Kjær Larsen

Agata Murawska

Proceedings of the Financial Cryptography and Data Security, 2020

2018

Relational algebra by way of adjunctions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Editorial for the Special Issue on Parallel and Concurrent Functional Programming.

[BibT_eX]

[DOI]

Gabriele Keller

J. Funct. Program., 2018

2017

Infinitary Axiomatization of the Equational Theory of Context-Free Languages.

[BibT_eX]

[DOI]

Dexter Kozen

Fundam. Informaticae, 2017

Automated Execution of Financial Contracts on Blockchains.

[BibT_eX]

[DOI]

Benjamin Egelund-Müller

Martin Elsman

Omri Ross

Bus. Inf. Syst. Eng., 2017

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

PEG parsing in less space using progressive tabling and dynamic analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

2016

FinPar: A Parallel Financial Benchmark.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2016

2016 POPL impressions.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2016

Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.

[BibT_eX]

[DOI]

Kristoffer Aalund Søholm

Sebastian Paaske Tørholm

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Modal Intersection Types, Two-Level Languages, and Staged Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).

[BibT_eX]

[DOI]

Ranjit Jhala

Shriram Krishnamurthi

Peter Thiemann

Dagstuhl Reports, 2014

Domain-Specific Languages for Enterprise Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Optimally Streaming Greedy Regular Expression Parsing.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Two-Pass Greedy Regular Expression Parsing.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2013

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries.

[BibT_eX]

[DOI]

Ralf Hinze

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Generic top-down discrimination for sorting and partitioning in linear time.

[BibT_eX]

[DOI]

J. Funct. Program., 2012

Clone detection using rolling hashing, suffix trees and dagification: A case study.

[BibT_eX]

[DOI]

Mikkel Jonsson Thomsen

Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Financial software on GPUs: between Haskell and Fortran.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

[BibT_eX]

[DOI]

Anders Starcke Henriksen

Thomas T. Hildebrandt

Nobuko Yoshida

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Rock'n'Roll Computer Science.

[BibT_eX]

[DOI]

Proceedings of the Logic and Program Semantics, 2012

2011

Functional High Performance Financial IT.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

Regular expression containment: coinductive axiomatization and computational interpretation.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Dynamic Symbolic Computation for Domain-Specific Language Implementation.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Bit-coded Regular Expression Parsing.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

2010

Generic multiset programming with discrimination-based joins and symbolic Cartesian products.

[BibT_eX]

[DOI]

Ken Friis Larsen

High. Order Symb. Comput., 2010

Large-scale sound and precise program analysis: technical persepctive.

[BibT_eX]

[DOI]

Commun. ACM, 2010

A standard-driven implementaion of WS-BPEL 2.0.

[BibT_eX]

[DOI]

Tim Hallwyl

Thomas T. Hildebrandt

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Optimizing relational algebra operations using generic equivalence discriminators and lazy products.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Generic multiset programming for language-integrated querying.

[BibT_eX]

[DOI]

Ken Friis Larsen

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

2009

POETS: Process-oriented event-driven transaction systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

What is a Sorting Function?

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

2008

Generic discrimination: sorting and paritioning unshared data in linear time.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006

Compositional specification of commercial contracts.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

2005

Editorial.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2005

2003

Editorial: Special Issue Dedicated to Bob Paige.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2003

2001

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.

[BibT_eX]

[DOI]

Henning Makholm

Henning Niss

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

1999

Breaking Through the n<sup>3</sup> Barrier: Faster Object Type Inference.

[BibT_eX]

Theory Pract. Object Syst., 1999

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.

[BibT_eX]

[DOI]

Morten Heine Sørensen

Mads Tofte

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

AnnoDomini: From Type Theory to Year 2000 Conversion Tool.

[BibT_eX]

[DOI]

Morten Heine Sørensen

Mads Tofte

Proceedings of the POPL '99, 1999

1998

SIGPLAN and the World Series.

[BibT_eX]

ACM SIGPLAN Notices, 1998

Coinductive Axiomatization of Recursive Type Equality and Subtyping.

[BibT_eX]

[DOI]

Michael Brandt

Fundam. Informaticae, 1998

Constraint Automata and the Complexity of Recursive Subtype Entailment.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

The Complexity of Subtype Entailment for Simple Types.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1995

Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

[BibT_eX]

[DOI]

Dirk Dussart

Christian Mossin

Proceedings of the Static Analysis, 1995

A Semantic Model of Binding Times for Safe Partial Evaluation

[BibT_eX]

[DOI]

David Sands

Proceedings of the Programming Languages: Implementations, 1995

Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML.

[BibT_eX]

[DOI]

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Dynamic Typing: Syntax and Proof Theory.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1994

The Complexity of Type Inference for Higher-Order Typed lambda Calculi.

[BibT_eX]

[DOI]

Harry G. Mairson

J. Funct. Program., 1994

Iterative Fixed Point Computation for Type-Based Strictness Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Formally Optimal Boxing.

[BibT_eX]

[DOI]

Jesper Jørgensen

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphic Binding-Time Analysis.

[BibT_eX]

[DOI]

Christian Mossin

Proceedings of the Programming Languages and Systems, 1994

1993

Type Inference with Polymorphic Recursion.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1993

1992

Global Tagging Optimization by Type Inference.

[BibT_eX]

[DOI]

Proceedings of the Conference on Lisp and Functional Programming, 1992

Dynamic Typing.

[BibT_eX]

[DOI]

Proceedings of the ESOP '92, 1992

1991

A Decidable Case of the Semi-Unification Problem.

[BibT_eX]

[DOI]

Hans Leiß

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Efficient Type Inference for Higher-Order Binding-Time Analysis.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Fast Left-Linear Semi-Unification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing and Information, 1990

1988

Type Inference and Semi-Unification.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study.

[BibT_eX]

[DOI]

Robert Paige