HN Explorer

smosher_

↗ HN profile [ 82.4 ms ] full profile
Karma
191
Created
September 16, 2014 (11y ago)
Submissions
0
  1. “Propositions as Types” by Philip Wadler [video] (youtube.com)
    2 points 0
  2. Specialize to reuse (inheritance-like patterns in Rust) (aturon.github.io)
    2 points 0