Most papers, abstracts, and related materials such as slides can be browsed here.
- Eisner and Filardo (2011) is the place to start. It is a long book chapter that motivates and explains the language design, and includes example Dyna code to solve a variety of problems.
- Filardo and Eisner (2012) details the first steps towards the new Dyna inference engine.
- Shyamshankar et al. (XLDI 2012) describe the K3 platform, which provides the flexible and adaptive storage architecture for the new Dyna.
- Eisner (2009) is not a paper, but a video of a talk, with slides available.
- Eisner (2008) is an extended abstract giving the motivation and goals of the project. There are extensive accompanying slides.
- Eisner, Goldlust & Smith (2005) clearly describes an early restricted version of the language, from an NLP point of view. (A shorter early paper was Eisner, Goldlust & Smith (2004).)
- Blatz & Eisner (2007) is a long paper. It gives a denotational semantics for a somewhat more general version, and then lays out several program transformations on Dyna programs, to turn one algorithm automatically into a more efficient algorithm.
- Cohen et al. (2007) describe another program transformation on Dyna programs; this won the Best Student Paper Award at ICLP'08. (longer tech report).
- www.dyna.org may also be worth referencing as a more comprehensive and up-to-date description (but is currently out of date).
See also our list of publications that are not primarily about Dyna, but which use Dyna.