Nikolaj Hey Hinnerskov
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Mechanical Proofs in an Array-Combinator Language | ARRAY 2024 | 2024-06-25 |
Prototype system converts functional data parallel programs into index functions that map indices to values and generates algebraic queries proving properties… | ||
| 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… | ||
| nothing matches | ||