Publications

@inproceedings{icps-1997-34,
	title = "Typechecking of PEI expressions",
	author= "E. Violard",
 	booktitle = "EUROPAR'97",
 	series = "LNCS 1300",
	publisher = "Springer-Verlag",
	pages = "521-529",
	location = "Passau (Germany)",
	month = "August",
	year  = "1997",
}