Tim Sweeney
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
- Dag Kittlausonce
- Guy L. Steele Jr.once
- Joachim Breitneronce
all 15 in the filters
who talks about the same things
- Lennart Augustsson10 talks
- Guy L. Steele Jr.3 talks
- Joachim Breitner8 talks
- John Riccitiello13 talks
- Joachim Ante20 talks
- Timur Haussila4 talks
| title | conference | date |
|---|---|---|
| The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... | ICFP 2023 | 2023-09-04 |
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as… | ||
| Ask me anything | ICFP 2023 | 2023-09-04 |
A new language called Verse implements functional logic with an effect system and a strong type system that scales toward proofs; it uses transactional memory… | ||
| Spotlight Session | Samsung Developer Conference 2018 | 2018-11-07 |
Samsung unveils concrete moves: S Pen Remote SDK is available at developer.samsung.com and Note9 demos show remote selfie and control; Wacom previews WILL 3.0… | ||
| State of Unreal | GDC 2017 | 2017-02-27 |
Watch Epic Games' full 'State of Unreal' presentation from GDC 2017 as we share our vision for the future, announcing a series of high-profile projects that… | ||
| nothing matches | ||