Esther Wang
where else to find them
no profile links on file
what they talk about
where they keep going back
- LambdaConf2 editions2017–2018
on a stage with
never shared a talk
who talks about the same things
- Dana Scott11 talks
- Harold Carr6 talks
- Alexander Konovalov8 talks
- Jim Duey5 talks
- Litao Zhou4 talks
- Xuejing Huang4 talks
| title | conference | date |
|---|---|---|
| Typing the Y Combinator | LambdaConf 2018 | 2018-06-03 |
Claim: adding a recursive type operator mu — mu as type-level fixed point — lets a statically-typed lambda calculus express the Y combinator and encode lists… | ||
| When Does a Program Typecheck? | LambdaConf 2017 | 2017-05-25 |
Formalizes when an expression typechecks by writing down simply typed lambda calculus syntax, typing judgments and the three concrete rules: variable… | ||
| nothing matches | ||