Nachiappan Valliappan
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Modular Construction of Multi-sorted Free Extensions | PEPM 2023 | 2023-01-16 |
Defines how to build combined free extensions by composing existing frexes and gives three modular constructions: a concrete involutive algebra frex (covers… | ||
| Normalization by Evaluation with Free Extensions (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Claim: augmenting normalization-by-evaluation with free extensions (frex) produces a single generic NbE algorithm for simply typed lambda calculus with… | ||
| Normalization for Fitch-Style Modal Calculi | ICFP 2022 | 2022-09-11 |
Claims a modular semantic normalization procedure for Fitch-style modal lambda calculi: it builds Normalization by Evaluation models from a single… | ||
| Towards Secure IoT Programming in Haskell | Haskell 2020 | 2020-08-27 |
Haski is an embedded DSL in Haskell that generates C for Zephyr OS, claiming to let developers write Lustre-style synchronous stream programs in Haskell and… | ||
| nothing matches | ||