159 citations · 798 across the 116 of their papers we have counts for
1 paper · 2 filters
Stephen Mell, Osbert Bastani, Steve Zdancewic
We introduce Ideograph, a language for expressing and manipulating structured data. Its types describe kinds of structures, such as natural numbers, lists, multisets, binary trees,…