Fabian Krause
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 3 in the filters
on a stage with
who talks about the same things
- Marko Jevremovic2 talks
- Egor Kraev4 talks
- Thomas Wiecki7 talks
- Yves J. Hilpisch9 talks
- Revant Nayar3 talks
- Mathias Frey2 talks
| title | conference | date |
|---|---|---|
| Label dependent lambda calculus and gradual typing | SPLASH 2022 | 2022-12-05 |
Defines a minimalist label-dependent lambda calculus with first-class labels, Pi/Sigma/singleton types and subtyping, then gives a gradual extension with a… | ||
| Label Dependent Lambda Calculus and Gradual Typing | OOPSLA 2021 | 2021-10-17 |
A small dependently typed core called the label-dependent lambda calculus models records as functions over first-class labels and adds lightweight… | ||
| Quantamental Investing - the future of finance | PyData London 2019 | 2019-07-12 |
Claims that blending fundamental research with quantitative signals improves discretionary performance and reduces behavioral bias, backed by concrete systems… | ||
| nothing matches | ||