Thorsten Altenkirch | 30 Jun 12:47 2008

CFP: Dependently Typed Programming (FI Special Issue)


Tarmo and I are editing a special issue on dependently typed  
programming and it would be nice to have papers on Epigram (either on  
the system and its implementation or on applications). So please get  

It would help with our planning if you could let us know in advance  
whether you plan to submit a paper (let's say end by end of July).

Thorsten & Tarmo

			   Call for Papers:

	       Special Issue of Fundamenta Informaticae
		    Dependently Typed Programming

		   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,
(Continue reading)