[TYPES/announce] call for papers -- Functional Programming Concepts in Domain-Specific Languages

Richard Lazarus rlazarus at bbn.com
Thu Jun 6 10:34:08 EDT 2013

Functional Programming Concepts in Domain-Specific Languages (FPCDSL) — 
Call For Papers

The FPCDSL Workshop will be conducted as part of ICFP 2013 in Boston, MA
FPCDSL information: http://quantum.bbn.com/FPCDSL/
ICFP information: http://icfpconference.org/icfp2013/index.html

Important dates
Submissions due: Friday, 21-June-2013
Notification: Thursday, 11-July-2013
Final copy due: Thursday, 25-July- 2013
Workshop date: Sunday, 22-September-2013

FPCDSL 2013 seeks original papers on the art and science of functional 
programming and novel type systems 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. Please visit our website for 
additional information: http://quantum.bbn.com/FPCDSL/.

Richard Lazarus
Quantum Information Processing Group
Raytheon BBN Technologies
10 Moulton St., Cambridge, MA 02138

More information about the Types-announce mailing list