Marcin Rzeźnicki
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Idris For (Im)practical Scala Programmers | Scala Italy 2018 | 2018-09-14 |
Scala can encode many dependent‑type patterns but only for compile‑time known values: it uses singleton types, path‑dependent types and recursive implicit… | ||
| Idris for (im)practical Scala programmers | Lambda Days 2018 | 2018-02-22 |
Claims that Idris-style value-dependent types can be approximated in Scala by encoding: implicit search, phantom types, and type-level encodings of naturals… | ||
| nothing matches | ||