Sam Lindley

John Longley

J. Funct. Program., 2024

Modal Effect Types.

[BibT_eX]

[DOI]

CoRR, 2024

Behavioural Types for Heterogeneous Systems (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

Scoped Effects as Parameterized Algebraic Theories.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2024

2023

Structural Subtyping as Parametric Polymorphism.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

Continuing WebAssembly with Effect Handlers.

[BibT_eX]

[DOI]

K. C. Sivaramakrishnan

Matija Pretnar

Proc. ACM Program. Lang., October, 2023

Separating Sessions Smoothly.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

Wasm SpecTec: Engineering a Formal Language Standard.

[BibT_eX]

[DOI]

CoRR, 2023

2022

High-level effect handlers in C++.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Constraint-based type inference for FreezeML.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2021

Scalable Handling of Effects (Dagstuhl Seminar 21292).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2021

A Typed Slicing Compilation of the Polymorphic RPC calculus.

[BibT_eX]

[DOI]

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Practical normalization by evaluation for EDSLs.

[BibT_eX]

[DOI]

Nachiappan Valliappan

Alejandro Russo

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

2020

A polymorphic RPC calculus.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Effects for efficiency: asymptotic speedup with first-class control.

[BibT_eX]

[DOI]

John Longley

Proc. ACM Program. Lang., 2020

Effect handlers via generalised continuations.

[BibT_eX]

[DOI]

J. Funct. Program., 2020

Doo bee doo bee doo.

[BibT_eX]

[DOI]

J. Funct. Program., 2020

FreezeML: complete and easy type inference for first-class polymorphism.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

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

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2019

Exceptional asynchronous session types: session types without tiers.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

2018

Shallow Effect Handlers.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Strategy Preserving Compilation for Parallel Functional Code.

[BibT_eX]

[DOI]

CoRR, 2017

Continuation Passing Style for Effect Handlers.

[BibT_eX]

[DOI]

K. C. Sivaramakrishnan

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Do be do be do.

[BibT_eX]

[DOI]

Conor McBride

Craig McLaughlin

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Mixing Metaphors: Actors as Channels and Channels as Actors.

[BibT_eX]

[DOI]

Simon Fowler

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Embedding by Normalisation.

[BibT_eX]

[DOI]

CoRR, 2016

Everything old is new again: quoted domain-specific languages.

[BibT_eX]

[DOI]

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

Talking bananas: structural recursion for session types.

[BibT_eX]

[DOI]

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

Liberating effects with rows and handlers.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Embedding session types in Haskell.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Haskell, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Conflation Confers Concurrency.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

A Semantics for Propositions as Sessions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

2014

Sessions as Propositions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Query shredding: Efficient relational evaluation of queries over nested multisets (extended version).

[BibT_eX]

[DOI]

CoRR, 2014

Query shredding: efficient relational evaluation of queries over nested multisets.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Management of Data, 2014

Effective quotation: relating approaches to language-integrated query.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Algebraic effects and effect handlers for idioms and arrows.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

2013

Lenses for Web Data.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Effective Quotation.

[BibT_eX]

[DOI]

CoRR, 2013

Handlers in action.

[BibT_eX]

[DOI]

Ohad Kammar

Nicolas Oury

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

A practical theory of language-integrated query.

[BibT_eX]

[DOI]

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

Hasochism: the pleasure and pain of dependently typed haskell programming.

[BibT_eX]

[DOI]

Conor McBride

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Row-based effect types for database integration.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Embedding F.

[BibT_eX]

[DOI]

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

2011

The database Wiki project: a general-purpose platform for data curation and collaboration.

[BibT_eX]

[DOI]

SIGMOD Rec., 2011

DBWiki: a structured wiki for curated data and collaborative data management.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Using Links to prototype a Database Wiki.

[BibT_eX]

[DOI]

Heiko Müller

Proceedings of the Database Programming Languages, 2011

2010

The arrow calculus.

[BibT_eX]

[DOI]

Jeremy Yallop

J. Funct. Program., 2010

The Audacity of Hope: Thoughts on Reclaiming the Database Dream.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

2009

Unembedding domain-specific languages.

[BibT_eX]

[DOI]

Jeremy Yallop

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2008

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.

[BibT_eX]

[DOI]

Jeremy Yallop

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

Many holes in hindley-milner.

[BibT_eX]

[DOI]

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

The Essence of Form Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Extensional Rewriting with Sums.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Implementing deterministic declarative concurrency using sieves.

[BibT_eX]

[DOI]

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

2006

Links: Web Programming Without Tiers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

Normalisation by evaluation in the compilation of typed functional programming languages.

[BibT_eX]

[DOI]

PhD thesis, 2005

Reducibility and TT-Lifting for Computation Types.

[BibT_eX]

[DOI]