STRANGE LOOP · 2022strange-loop-conference
Search
Search talks
Shareable results across the archive. Difficulty is beginner, intermediate, advanced, or expert.
Filters+
Year
Conference
Track
Difficulty
Topic
Showing the most common topics.
STRANGE LOOP · 2022strange-loop-conference
"Aggregator: MapReduce in the type system" by Dan Frank
STRANGE LOOP · 2022strange-loop-conference
"Cap'n Proto and Rust: Type Systems for Sharing" by David Renshaw
STRANGE LOOP · 2022strange-loop-conference
"Dependent Types in Haskell" by Stephanie Weirich
STRANGE LOOP · 2022strange-loop-conference
"Ectype - bringing type safety (and more!) to vanilla JavaScript" by Holly Wu (Strange Loop 2023)
STRANGE LOOP · 2022strange-loop-conference
"Flow - Am I Your Type?" by Mark Volkmann
STRANGE LOOP · 2022strange-loop-conference
"How types can turn a SQL interpreter into a SQL compiler" by Tiark Rompf
STRANGE LOOP · 2022strange-loop-conference
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
STRANGE LOOP · 2022strange-loop-conference
"Propositions as Types" by Philip Wadler
STRANGE LOOP · 2022strange-loop-conference
"Put A Type On It: Idris Type Providers for AWS Resources" by Susan Potter
STRANGE LOOP · 2022strange-loop-conference
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
STRANGE LOOP · 2022strange-loop-conference
"The design of JavaScript type systems" by Dimitris Vardoulakis
STRANGE LOOP · 2022strange-loop-conference
"The Trouble With Types" by Martin Odersky (2013)
STRANGE LOOP · 2022strange-loop-conference
"Type Checking Ruby" by Jeffrey Foster
STRANGE LOOP · 2022strange-loop-conference
"Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher
STRANGE LOOP · 2022strange-loop-conference
"Type-Driven API Design in Rust" by Will Crichton
STRANGE LOOP · 2022strange-loop-conference
"Type-Driven Program Synthesis" by Nadia Polikarpova
STRANGE LOOP · 2022strange-loop-conference
"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann
STRANGE LOOP · 2022strange-loop-conference
"Understanding TypeScript's Structural Type System" by Drew Colthorp