A spectrum of type soundness and performance von Greenman, Ben, Felleisen, Matthias

Volltext

Typed–Untyped Interactions: A Comparative Analysis von Greenman, Ben, Dimoulas, Christos, Felleisen, Matthias

Volltext

How Profilers Can Help Navigate Type Migration von Greenman, Ben, Felleisen, Matthias, Dimoulas, Christos

Volltext

How to Evaluate Blame for Gradual Types, Part 2 von Lazarek, Lukas, Greenman, Ben, Felleisen, Matthias, Dimoulas, Christos

Volltext

Complete monitors for gradual types von Greenman, Ben, Felleisen, Matthias, Dimoulas, Christos

Volltext

How to evaluate blame for gradual types von Lazarek, Lukas, Greenman, Ben, Felleisen, Matthias, Dimoulas, Christos

Volltext

How to evaluate the performance of gradual type systems von GREENMAN, BEN, TAKIKAWA, ASUMU, NEW, MAX S., FELTEY, DANIEL, FINDLER, ROBERT BRUCE, VITEK, JAN, FELLEISEN, MATTHIAS

Volltext

Collapsible contracts: fixing a pathology of gradual typing von Feltey, Daniel, Greenman, Ben, Scholliers, Christophe, Findler, Robert Bruce, St-Amour, Vincent

Volltext

Forge: A Tool and Language for Teaching Formal Methods von Nelson, Tim, Greenman, Ben, Prasad, Siddhartha, Dyer, Tristan, Bove, Ethan, Chen, Qianfan, Cutting, Charles, Del Vecchio, Thomas, LeVine, Sidney, Rudner, Julianne, Ryjikov, Ben, Varga, Alexander, Wagner, Andrew, West, Luke, Krishnamurthi, Shriram

Volltext

Rhombus: A New Spin on Macros without All the Parentheses von Flatt, Matthew, Allred, Taylor, Angle, Nia, De Gabrielle, Stephen, Findler, Robert Bruce, Firth, Jack, Gopinathan, Kiran, Greenman, Ben, Kasivajhula, Siddhartha, Knauth, Alex, McCarthy, Jay, Phillips, Sam, Porncharoenwase, Sorawee, Søgaard, Jens Axel, Tobin-Hochstadt, Sam

Volltext

Supplement: quadT: How Profilers Can Help Navigate Type Migration von Greenman, Ben

Volltext bestellen

Collapsible contracts : fixing a pathology of gradual typing von Feltey, Daniel, Greenman, Ben, Scholliers, Christophe, Findler, Robert Bruce, St-Amour, Vincent

Volltext

Grounded Language Design for Lightweight Diagramming for Formal Methods von Prasad, Siddhartha, Greenman, Ben, Nelson, Tim, Krishnamurthi, Shriram

Volltext bestellen

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions von Allred, Taylor, Li, Xinyi, Wiersdorf, Ashton, Greenman, Ben, Gopalakrishnan, Ganesh

Volltext bestellen

Privacy-Respecting Type Error Telemetry at Scale von Greenman, Ben, Jeffrey, Alan, Krishnamurthi, Shriram, Shah, Mitesh

Volltext

Conceptual Mutation Testing for Student Programming Misconceptions von Prasad, Siddhartha, Greenman, Ben, Nelson, Tim, Krishnamurthi, Shriram

Volltext

Little Tricky Logic: Misconceptions in the Understanding of LTL von Greenman, Ben, Saarinen, Sam, Nelson, Tim, Krishnamurthi, Shriram

Volltext

Type systems as macros von Chang, Stephen, Knauth, Alex, Greenman, Ben

Volltext

Is sound gradual typing dead? von Takikawa, Asumu, Feltey, Daniel, Greenman, Ben, New, Max S., Vitek, Jan, Felleisen, Matthias

Volltext

Types for Tables: A Language Design Benchmark von Kuang-Chen, Lu, Greenman, Ben, Krishnamurthi, Shriram

Volltext