DYLA 2011 - DYLA 2011 5th Workshop on Dynamic Languages and Applications

The DYLA Workshop series focuses on the revival of dynamic languages. These days, dynamic languages (like Lisp, Ruby, Python, JavaScript, Lua, etc...) are getting ever more popular. This is a call to arms for academia! We need to explore the future of dynamic languages through its human aspects and technical issues. We also ought to look back and pick up solutions from existing dynamic languages (such as Scheme, Smalltalk, or Self) to be rediscovered and spread around.

Goal and Topics

The goal of this workshop is to act as a forum where we can discuss new advances in the design, implementation and application of dynamically typed languages that, sometimes radically, diverge from the statically typed class-based mainstream with limited reflective capabilities. Another objective of the workshop is to discuss new as well as older “forgotten” languages and features in this context.

Topics of interest include, but are certainly not limited to:

Human aspects of dynamic languages, for example...

empirical studies about the application of dynamic languages
best practices and patterns specific to dynamic languages
program correctness through unit testing (as opposed to types)
improved or novel IDE support for dynamic languages
use of dynamic features by library & framework developers
scripting of static application with dynamic languages
reverse engineering and analysis of dynamic applications
Technical aspects of dynamic languages, for example...

what features make a language a dynamic one?
agents, actors, active object, distribution, concurrency and mobility
delegation, prototypes, mixins, traits
first-class closures, continuations, environments
re?ection and meta-programming
(dynamic) aspects for dynamic languages
higher-order objects & messages
...other exotic dynamic features
multi-paradigm & static/dynamic-marriages
(concurrent/distributed/mobile/aspect) virtual machines
optimisation of dynamic languages
automated reasoning about programs written in dynamic languages
type systems for dynamic languages, pluggable types, partial typing, type reconstruction...
And any topic relevant in applying and/or supporting dynamic languages: Smalltalk, Python, Ruby, Javascript, Scheme, Lisp, Self, ABCL, Prolog, Ioke, Clojure and many more...