FPCDSL 2013 - ACM SIGPLAN Functional Programming Concepts in Domain-Specific Languages

FPCDSL 2013 seeks original papers on the art and science of functional programming applied to the development of domain specific languages. We are interested in research and applications where the characteristics and features of functional programming languages as well as analysis and verification techniques provide advantages or impose restrictions when applied to domain specific language systems. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. Submissions can propose panel discussions as well as research and application topics.
Topics of interest include (but are not limited to):
Applications: artificial intelligence; distributed-systems and web programming; cloud computing; scientific and numerical computing; biologically-inspired computing; quantum computing; security and privacy; systems programming; graphical user interfaces; multimedia programming; scripting; symbolic computing; hardware design; formal-methods tools.
Domains and domain-specific language design: features and constructs; type systems and type inference algorithms; special challenges of particular domains; suitability of different functional approaches; language design and language feature insights from domain applications and domain requirements.
Software-development and programming techniques: algorithms and data structures; design patterns; combinators and monads; static analysis and abstract interpretation techniques and applications thereof; specification and verification; validation; proof assistants and integrated model checkers; debugging; testing; tracing; profiling.
Implementation: representation, interpretation, compilation, optimization, data-flow, control-flow, validation, and debugging.
Functional programming in application domains: monads; combinators; continuations; control; state; effects; polymorphic and dependent types.
Foundations: formal semantics; feasibility; type theory; computability; expressiveness; soundness; completeness; formal verification.
Adoption: making functional languages accessible to domain experts; user interfaces; dissemination and standardization.
If you are concerned about the appropriateness of your topic area, do not hesitate to contact the program chair.