Nicolas Wu

Proc. ACM Program. Lang., January, 2024

Scoped Effects as Parameterized Algebraic Theories.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2024

2023

Modular Models of Monoids with Operations.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

Embedding by Unembedding.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

Full Abstraction for Free.

[BibT_eX]

[DOI]

Marco Paviotti

CoRR, 2023

A Calculus of Delayed Reductions.

[BibT_eX]

[DOI]

Steffen van Bakel

Emma Tye

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification.

[BibT_eX]

[DOI]

Omar Tahir

Wayne Luk

Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, 2023

The Evolution of Effects (Keynote).

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

Phases in Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

Staging with class: a specification for typed template Haskell.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Fusing industry and academia at GitHub (experience report).

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Linearly qualified types: generic inference for capabilities and uniqueness.

[BibT_eX]

[DOI]

Arnaud Spiwack

Csongor Kiss

Jean-Philippe Bernardy

Richard A. Eisenberg

Proc. ACM Program. Lang., 2022

Modular probabilistic models via algebraic effects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Flexible presentations of graded monads.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Modular Probabilistic Models via Algebraic Effects.

[BibT_eX]

[DOI]

CoRR, 2022

Structured Handling of Scoped Effects: Extended Version.

[BibT_eX]

[DOI]

CoRR, 2022

Design patterns for parser combinators in scala.

[BibT_eX]

[DOI]

Proceedings of the Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, 2022

Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Folding over Neural Networks.

[BibT_eX]

[DOI]

Minh Nguyen

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Breadth-First Traversal via Staging.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Oregano: staging regular expressions with Moore Cayley fusion.

[BibT_eX]

[DOI]

Lambert G. L. T. Meertens

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

Structured Handling of Scoped Effects.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2022

2021

Algorithmics.

[BibT_eX]

[DOI]

Proceedings of the Advancing Research in Information and Communication Technology, 2021

Reasoning about effect interaction by fusion.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Algebras for weighted search.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

A Specification for Typed Template Haskell.

[BibT_eX]

[DOI]

Andres Löh

CoRR, 2021

Latent Effects for Reusable Language Components: Extended Version.

[BibT_eX]

[DOI]

CoRR, 2021

Linear Constraints.

[BibT_eX]

[DOI]

Jean-Philippe Bernardy

CoRR, 2021

Design patterns for parser combinators (functional pearl).

[BibT_eX]

[DOI]

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

Safe mutation with algebraic effects.

[BibT_eX]

[DOI]

Hashan Punchihewa

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

Latent Effects for Reusable Language Components.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Staged selective parser combinators.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Staged sums of products.

[BibT_eX]

[DOI]

Andres Löh

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019

Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2019

Tic tac types: a gentle introduction to dependently typed programming (functional pearl).

[BibT_eX]

[DOI]

Sean Innes

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

Monad transformers and modular algebraic effects: what binds them together.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Working with source plugins.

[BibT_eX]

[DOI]

Boldizsár Németh

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Multi-stage programs in context.

[BibT_eX]

[DOI]

Csongor Kiss

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Generic deriving of generic traversals.

[BibT_eX]

[DOI]

Csongor Kiss

Proc. ACM Program. Lang., 2018

Relational algebra by way of adjunctions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Garnishing parsec with parsley.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

Syntax and Semantics for Operations with Scopes.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Profunctor Optics: Modular Data Accessors.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2017

Quantitative metrics for evaluating the phased roll-out of clinical information systems.

[BibT_eX]

[DOI]

David Wong

Peter J. Watkinson

Int. J. Medical Informatics, 2017

2016

Unifying structured recursion schemes - An Extended Study.

[BibT_eX]

[DOI]

J. Funct. Program., 2016

String diagrams for free monads (functional pearl).

[BibT_eX]

[DOI]

Maciej Piróg

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Fusion for Free - Efficient Algebraic Effect Handlers.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Modules Over Monads and Their Algebras.

[BibT_eX]

[DOI]

Maciej Piróg

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Formal relational database design: an exercise in extending the formal template language.

[BibT_eX]

[DOI]

Andrew C. Simpson

Formal Aspects Comput., 2014

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Folding domain-specific languages: deep and shallow embeddings (functional Pearl).

[BibT_eX]

[DOI]

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Effect handlers in scope.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

2013

Unifying structured recursion schemes.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Histo- and dynamorphisms revisited.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

A Duality of Sorts.

[BibT_eX]

[DOI]

José Pedro Magalhães

Proceedings of the Beauty of Functional Code, 2013

2012

Pure and Lazy Lambda Mining - An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2012

Sorting with bialgebras and distributive laws.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2011

Incremental updates for efficient bidirectional transformations.

[BibT_eX]

[DOI]

Meng Wang

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Towards a categorical foundation for generic programming.

[BibT_eX]

[DOI]

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010

Generative templates for formal metamodel design.

[BibT_eX]

[DOI]

PhD thesis, 2010

Towards Formally Templated Relational Database Representations in Z.

[BibT_eX]

[DOI]