kirancodes.me
To Proof Maintenance & Beyond!
Venues / DLS /

DLS 2007

11 papers

  1. An adaptive package management system for scheme · Manuel Serrano, Erick Gallesio
  2. Arrays of objects · Morten Kromberg
  3. Bringing dynamic languages to .NET with the DLR · Jim Hugunin
  4. Dynamic ownership in a dynamic language · Donald Gordon, James Noble
  5. Highly dynamic behaviour adaptability through prototypes with subjective multimethods · Sebastián González, Kim Mens, Patrick Heymans
  6. Mirages: behavioral intercession in a mirror-based architecture · Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter
  7. OMeta: an object-oriented language for pattern matching · Alessandro Warth, Ian Piumarta
  8. RPython: a step towards reconciling dynamically and statically typed OO languages · Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis
  9. Relationally-parametric polymorphic contracts · Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
  10. Report on the probabilistic language scheme · Alexey Radul
  11. Tradeoffs in retrofitting security: an experience report · Mark Samuel Miller