Fast: A Transducer-Based Language for Tree Manipulation
Loris D'antoni, Margus Veanes, Benjamin Livshits, David Molnar
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
A Logical Approach to Deciding Semantic Subtyping
Nils Gesbert, Pierre Genevès, Nabil Layaïda
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: