Magnus Madsen
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA5 editions2020–2025
all 5 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Jonathan Immanuel Brachthäuser22 talks
- Jaco van de Pol5 talks
- Matthew Lutze5 talks
- Ondřej Lhoták11 talks
- Philipp Schuster13 talks
- Sam Lindley27 talks
| title | conference | date |
|---|---|---|
| Qualified Types with Boolean Algebras | OOPSLA 2025 | 2025-10-16 |
Proposes qualifier-backed effects using Boolean algebras by formalizing System F⧼:B (negation, qualifier polymorphism, subqualification) and deriving an effect… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | OOPSLA 2024 | 2024-10-20 |
Automatic insertion of maps and replicates makes rank-polymorphic calls type-check by encoding per-application rank choices as integer variables and solving a… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | ARRAY 2024 | 2024-06-25 |
Automatic insertion of map/rep annotations reduces array boilerplate by encoding rank differences as constraints, linearizing them into integer linear… | ||
| Associated Effects: Flexible Abstractions for Effectful Programming | PLDI 2024 | 2024-06-24 |
Introduces "associated effects": type-class-level effect variables that let each instance pick its concrete effect, solving cases like total vs partial… | ||
| Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect... | OOPSLA 2023 | 2023-10-23 |
Presents a hybrid solver that combines Boole’s SVE elimination with binary decision diagrams plus precomputed tabling and caching; implemented in the Flix… | ||
| With or Without You: Programming with Effect Exclusion | ICFP 2023 | 2023-09-04 |
A new Hindley‑Milner style type-and-effect system adds union, intersection and complement to express “any effects except these” and implements effect exclusion… | ||
| An Introduction to Functional Imperative Programming in Flix | GOTO Aarhus 2023 | 2023-05-22 |
Flix presents a real language with a type and effect polymorphism system that infers purity, a region-based memory model that lets functions allocate mutable… | ||
| Relational Nullable Types with Boolean Unification | OOPSLA 2021 | 2021-10-17 |
Proposes a concrete type system that records two Boolean formulas per expression to track may-null and may-present, extends Hindley‑Milner with Boolean… | ||
| Fuzzing Channel-Based Concurrency Runtimes using Types and Effects | OOPSLA 2020 | 2020-11-15 |
An automatic generator produces terminating effects and emits small, type- and effect-correct programs to fuzz channel runtimes; effects are built by… | ||
| Polymorphic Types and Effects with Boolean Unification | OOPSLA 2020 | 2020-11-15 |
Extends Hindley-Milner with Boolean unification to infer precise pure/impure effects, proven to compute principal types and soundly guarantee that terms typed… | ||
| Fixpoints for the Masses: Programming with First-Class Datalog Constraints | OOPSLA 2020 | 2020-11-15 |
Presents a concrete embedding of first-class Datalog constraints into a functional language, implemented as a 5k-line extension to the 60k-line Flix compiler… | ||
| nothing matches | ||