6 citations · 19 across the 9 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,…