CFP - Special Issue of Fundamenta Informaticae on Dependently Typed Programming

After our workshop in Nottingham, are happy to announce a special  
issue of Fundamenta Informaticae on Dependently Typed Programming. We  
would like to welcome submissions from the Haskell community on type- 
directed programming, generic programming, programming with GADTs, and  
advanced type systems amongst other things.

			   Call for Papers:

	       Special Issue of Fundamenta Informaticae
		      (http://fi.mimuw.edu.pl/)
		    Dependently Typed Programming
	 (http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html)

			       Editors:
		   Thorsten Altenkirch (Nottingham)
		       Tarmo Uustalu (Tallinn)

Dependently typed programming is using the power of dependent types to
capture relationships between data, internalising invariants necessary
for appropriate computation. When data describe types, we can express
patterns of programming in code. To capture this potential a number of
languages have been proposed and implemented which incorporate some
aspects of dependent types, e.g. Agda, ATS, Cayenne, Coq's CIC,
Concoqtion, DML, Delphin, ELF, Epigram, Omega, OpTT, Pie, PiSigma,  
Ynot for a non-exhaustive list.

Within the European TYPES project we have organized two workshops to
discuss aspects of dependently programming: