21 citations · 33 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 2 cited
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
Context: Tables are ubiquitous formats for data. Therefore, techniques for writing correct programs over tables, and debugging incorrect ones, are vital. Our specific focus in this…
cs.PL2021★ 5 cited
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas +1
Mixed-typed languages enable programmers to link typed and untyped components in various ways. Some offer rich type systems to facilitate the smooth migration of untyped code to th…