Conferences in DBLP

European Symposium on Programming (ESOP) (esop)
2006 (conf/esop/2006)

1. Sophia Drossopoulou, David Clarke, James Noble
   Types for Hierarchic Shapes. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:1-6 [Conf]
   
2. Matthew Fluet, Greg Morrisett, Amal J. Ahmed
   Linear Regions Are All You Need. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:7-21 [Conf]
   
3. Martin Hofmann, Steffen Jost
   Type-Based Amortised Heap-Space Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:22-37 [Conf]
   
4. Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones
   Haskell Is Not Not ML. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:38-53 [Conf]
   
5. Xavier Leroy
   Coinductive Big-Step Operational Semantics. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:54-68 [Conf]
   
6. Amal J. Ahmed
   Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:69-83 [Conf]
   
7. Alexander J. Summers, Steffen van Bakel
   Approaches to Polymorphism in Classical Sequent Calculus. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:84-99 [Conf]
   
8. Barry Jay, Delia Kesner
   Pure Pattern Calculus. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:100-114 [Conf]
   
9. K. Rustan M. Leino, Peter Müller
   A Verification Methodology for Model Fields. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:115-130 [Conf]
   
10. Limin Jia, David Walker
    ILC: A Foundation for Automated Reasoning About Pointer Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:131-145 [Conf]
    
11. Vasileios Koutavas, Mitchell Wand
    Bisimulations for Untyped Imperative Objects. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:146-161 [Conf]
    
12. Dachuan Yu, Nayeem Islam
    A Typed Assembly Language for Confidentiality. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:162-179 [Conf]
    
13. Niklas Broberg, David Sands
    Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:180-196 [Conf]
    
14. Samuele Carpineti, Cosimo Laneve
    A Basic Contract Language for Web Services. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:197-213 [Conf]
    
15. João Costa Seco, Luís Caires
    Types for Dynamic Reconfiguration. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:214-229 [Conf]
    
16. Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey
    Size-Change Termination Analysis in k-Bits. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:230-245 [Conf]
    
17. Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
    Path Optimization in Programs and Its Application to Debugging. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:246-263 [Conf]
    
18. Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg
    Inference of User-Defined Type Qualifiers and Qualifier Rules. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:264-278 [Conf]
    
19. Sumit Gulwani, Ashish Tiwari
    Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:279-293 [Conf]
    
20. Gregory H. Cooper, Shriram Krishnamurthi
    Embedding Dynamic Dataflow in a Call-by-Value Language. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:294-308 [Conf]
    
21. Michael Furr, Jeffrey S. Foster
    Polymorphic Type Inference for the JNI. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:309-324 [Conf]
    
22. Nicu G. Fruja
    Type Safety of Generics for the .NET Common Language Runtime. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:325-341 [Conf]
    
23. Benjamin C. Pierce
    The Weird World of Bi-directional Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:342-342 [Conf]