Peter Sestoft
Proceedings of the 15th European Symposium on Programming
ESOP, 2006.

@proceedings{ESOP-2006,
	address       = "Vienna, Austria",
	editor        = "Peter Sestoft",
	isbn          = "3-540-33095-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th European Symposium on Programming}",
	volume        = 3924,
	year          = 2006,
}

Contents (23 items)

3 ×#calculus
2 ×#analysis
2 ×#linear
2 ×#polymorphism
2 ×#source code

ESOP-2006-DrossopoulouCN

Types for Hierarchic Shapes (SD, DGC, JN), pp. 1–6.

ESOP-2006-FluetMA #linear

Linear Regions Are All You Need (MF, GM, AJA), pp. 7–21.

ESOP-2006-HofmannJ #analysis #type system

Type-Based Amortised Heap-Space Analysis (MH, SJ), pp. 22–37.

ESOP-2006-Rudiak-GouldMJ #haskell #ml

Haskell Is Not Not ML (BRG, AM, SLPJ), pp. 38–53.

ESOP-2006-Leroy #induction #semantics

Coinductive Big-Step Operational Semantics (XL), pp. 54–68.

ESOP-2006-Ahmed #logic #quantifier #recursion

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (AJA), pp. 69–83.

ESOP-2006-SummersB #calculus #morphism #polymorphism

Approaches to Polymorphism in Classical Sequent Calculus (AJS, SvB), pp. 84–99.

ESOP-2006-JayK #calculus

Pure Pattern Calculus (CBJ, DK), pp. 100–114.

ESOP-2006-LeinoM #verification

A Verification Methodology for Model Fields (KRML, PM), pp. 115–130.

ESOP-2006-JiaW #automation #named #pointer #reasoning #source code

ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.

ESOP-2006-KoutavasW #bisimulation #imperative

Bisimulations for Untyped Imperative Objects (VK, MW), pp. 146–161.

ESOP-2006-YuI #assembly

A Typed Assembly Language for Confidentiality (DY, NI), pp. 162–179.

ESOP-2006-BrobergS #calculus #policy #towards

Flow Locks: Towards a Core Calculus for Dynamic Flow Policies (NB, DS), pp. 180–196.

ESOP-2006-CarpinetiL #contract #web #web service

A Basic Contract Language for Web Services (SC, CL), pp. 197–213.

ESOP-2006-SecoC #configuration management

Types for Dynamic Reconfiguration (JCS, LC), pp. 214–229.

ESOP-2006-CodishLSS #analysis #termination

Size-Change Termination Analysis in k-Bits (MC, VL, PS, PJS), pp. 230–245.

ESOP-2006-LalLPL #debugging #optimisation #source code

Path Optimization in Programs and Its Application to Debugging (AL, JL, MP, BL), pp. 246–263.

ESOP-2006-ChinMMP

Inference of User-Defined Type Qualifiers and Qualifier Rules (BC, SM, TDM, JP), pp. 264–278.

ESOP-2006-GulwaniT #abstraction #linear

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.

ESOP-2006-CooperK #call-by #data flow

Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.

ESOP-2006-FurrF #polymorphism #type inference

Polymorphic Type Inference for the JNI (MF, JSF), pp. 309–324.

ESOP-2006-Fruja #dot-net #runtime #type safety

Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.

ESOP-2006-Pierce #programming

The Weird World of Bi-directional Programming (BCP), p. 342.