Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Book

	Types for hierarchic shapes	1
	Linear regions are all you need	7
	Type-based amortised heap-space analysis	22
	Haskell is not not ML	38
	Coinductive big-step operational semantics	54
	Step-indexed syntactic logical relations for recursive and quantified types	69
	Approaches to polymorphism in classical sequent calculus	84
	Pure pattern calculus	100
	A verification methodology for model fields	115
	ILC : a foundation for automated reasoning about pointer programs	131
	Bisimulations for untyped imperative objects	146
	A typed assembly language for confidentiality	162
	Flow locks : towards a core calculus for dynamic flow policies	180
	A basic contract language for Web services	197
	Types for dynamic reconfiguration	214
	Size-change termination analysis in k-bits	230
	Path optimization in programs and its application to debugging	246
	Inference of user-defined type qualifiers and qualifier rules	264
	Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions	279
	Embedding dynamic dataflow in a call-by-value language	294
	Polymorphic type inference for the JNI	309
	Type safety of generics for the .NET common language runtime	325
	The Weird world of bi-directional programming	342