2015/You Got Your Idris in My C++! A First Look at Denotational Design

From Open Source Bridge Wiki
Jump to: navigation, search

Slides available at SpeakerDeck.