Search filters

List of works by Jonathan Erik Aldrich

Integrating usability into programming language design (keynote)

scientific article published on 22 November 2021

Obsidian

scientific article published on 26 November 2020

Sound Gradual Verification with Symbolic Execution

scientific article published on 05 January 2024

The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps

scientific article published on 17 October 2024

Using Types to Enforce Architectural Structure ⬇️

doctoral thesis by Jonathan Aldrich, Computer Science & Engineering, University of Washington, 2003

Paulina is supported by:

About Paulina

Help