48 citations · 64 across the 2 of their papers we have counts for
4 papers
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Cameron Moy, Phúc C. Nguyen, Sam Tobin-Hochstadt +1
Gradually-typed programming languages permit the incremental addition of static types to untyped programs. To remain sound, languages insert run-time checks at the boundaries betwe…
Hidden charm pentaquarks: mass spectrum, magnetic moments, and photocouplings
Emmanuel Ortiz-Pacheco, Roelof Bijker, César Fernández-Ramírez
We develop an extension of the usual three flavor quark model to four flavors (u, d, s and c), and discuss the classification of pentaquark states with hidden charm. We fit our mod…
Soft Contract Verification for Higher-Order Stateful Programs
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring…
Abstracting Definitional Interpreters
David Darais, Nicholas Labich, Phuc C. Nguyen +1
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitiona…