ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
radexp

radexp

2 ºÝºÝߣShares1 Follower
2 ºÝºÝߣShares1 Follower

Presentations(2)Ìý

Dependent types (and other ideas for guaranteeing correctness with types)
Dependent types (and other ideas for guaranteeing correctness with types)Dependent types (and other ideas for guaranteeing correctness with types)
Dependent types (and other ideas for guaranteeing correctness with types)
Ìý
Swifty Methods, Swifty APIs
Swifty Methods, Swifty APIsSwifty Methods, Swifty APIs
Swifty Methods, Swifty APIs
Ìý