5 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 5 cited
Interval Parsing Grammars for File Format Parsing
Jialun Zhang, Greg Morrisett, Gang Tan
File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns su…
cs.PL2015★ 4 cited
Type Classes for Lightweight Substructural Types
Edward Gan, Jesse A. Tov, Greg Morrisett
Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We p…