124
Voted
CSCW
2016
ACM
10 years 1 months ago
2016
ACM
Young people worldwide are participating in ever-increasing numbers in online fan communities. Far from mere shallow repositories of pop culture, these sites are accumulating sign...
96
Voted
CRYPTOLOGIA
2016
10 years 1 months ago
2016
The Hagelin M-209 was a mechanical encryption device used by the US Army during World War 2 and the Korean War, as well as by other armies and in embassy settings. In this paper, ...
102
Voted
CPP
2016
10 years 1 months ago
2016
This papers extends the Nuprl proof assistant (a system representative of the class of extensional type theories `a la Martin-L¨of) with named exceptions and handlers, as well as...
200
Voted
CPP
2016
10 years 1 months ago
2016
In homotopy type theory, we construct the propositional truncation as a colimit, using only non-recursive higher inductive types (HITs). This is a first step towards reducing rec...
121
Voted
CPP
2016
10 years 1 months ago
2016
In Separation Logic, representation predicates are used to describe mutable data structures, by establishing a relationship between the entry point of the structure, the piece of ...