Niek Mulleners
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Hole Refinements for Polymorphic Type-and-Example Driven Synthesis | PEPM 2026 | 2026-01-11 |
Toolchain combines a parametricity-aware feasibility reasoner and a tactic-driven synthesizer: Taxi computes polymorphic input–output normal forms and… | ||
| Program Synthesis Using Example Propagation | PADL 2023 | 2023-01-16 |
Scrybe is an example-based synthesizer for a statically typed functional language that combines top-down deductive search (λ2 style) with Smyth-style live… | ||
| Program Synthesis Using Example Propagation | HATRA 2022 | 2022-12-05 |
A synthesizer called scribe generates expressions for a statically typed functional language with algebraic data types by combining a provided type… | ||
| nothing matches | ||