Yaron Minsky

Head of Technology at Jane Street (Harvard PhD)

Jane Street

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software

Standalone talks by Yaron Minsky

Self-contained public lectures, keynote addresses, and research seminars.

Effective ML: Making Illegal States Unrepresentable in Static Type Systems

4 ch1:09:24

Systems & CS·Conference Talk

Effective ML: Making Illegal States Unrepresentable in Static Type Systems

Yaron Minsky·Jane Street

Origin of the famous software engineering maxim 'make illegal states unrepresentable': practical algebraic data types, phantom types, and module abstraction from trading systems engineering.