TIAP Edwin Brady - Implementing a Dependently Typed Programming Language
Type-driven Development of Communicating Systems in Idris by Edwin Brady
Edwin Brady - Type-driven Development of Communicating Systems in Idris
Edwin Brady - Idris: Programming with Dependent Types
Lambda Days 2015 - Edwin Brady - State, Side-effects and Communication in Idris
From Whitespace to Idris: Interview With Edwin Brady
Type-Driven Development in Idris — Edwin Brady
CodeMesh 2014 - Edwin Brady - Verifying Stateful and Side-effecting Programs using Dependent Types
Interview with Edwin Brady in Lambda World 2016
Dependent Types in the Idris Programming Language 4 - Edwin Brady - OPLSS 2017
State machines all the way down
Dependently Typed Functional Programming with Idris 1
Type-driven Development with Idris
TIAP Peng Fu - Nontermination in Type Class Inference
TIAP Garrett Morris - Substructural Types with Class
TIAP Katya Komendantskaya - Structural Resolution
2 10 Elaborator Reflection: Extending Idris in Idris
Everything Mark Wahlberg Eats In a Day | Eat Like | Men’s Health
TIAP Conor McBride - Type Inference needs Revolution
Wayne Brady Shares About Older Men Approaching His Daughter On Social Media
TIAP Bob Atkey - An Algebraic Approach to Typechecking and Elaboration
TIAP Tom Schrijvers - GADTs Meet Their Match
TOP 55+ Communities in Frederick Maryland
Bethesda's Luxury vs. Rockville's Value | 2026 Maryland Guide
Copy The Business That Made Me $2.3M (12+ Hours)
