Conferences in DBLP

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

1. 
   Well-Typed Programs Can't Be Blamed. [Citation Graph (, )][DBLP]
   
   
2. 
   Exploring the Design Space of Higher-Order Casts. [Citation Graph (, )][DBLP]
   
   
3. 
   Practical Variable-Arity Polymorphism. [Citation Graph (, )][DBLP]
   
   
4. 
   Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. [Citation Graph (, )][DBLP]
   
   
5. 
   Using Category Theory to Design Programming Languages. [Citation Graph (, )][DBLP]
   
   
6. 
   Modular Monad Transformers. [Citation Graph (, )][DBLP]
   
   
7. 
   Handlers of Algebraic Effects. [Citation Graph (, )][DBLP]
   
   
8. 
   Is Structural Subtyping Useful? An Empirical Study. [Citation Graph (, )][DBLP]
   
   
9. 
   An Interval-Based Inference of Variant Parametric Types. [Citation Graph (, )][DBLP]
   
   
10. 
    Existential Quantification for Variant Ownership. [Citation Graph (, )][DBLP]
    
    
11. 
    Formalising and Verifying Reference Attribute Grammars in Coq. [Citation Graph (, )][DBLP]
    
    
12. 
    Verified, Executable Parsing. [Citation Graph (, )][DBLP]
    
    
13. 
    An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees. [Citation Graph (, )][DBLP]
    
    
14. 
    Amortised Memory Analysis Using the Depth of Data Structures. [Citation Graph (, )][DBLP]
    
    
15. 
    The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?. [Citation Graph (, )][DBLP]
    
    
16. 
    All Secrets Great and Small. [Citation Graph (, )][DBLP]
    
    
17. 
    Type-Based Automated Verification of Authenticity in Cryptographic Protocols. [Citation Graph (, )][DBLP]
    
    
18. 
    A Theory of Non-monotone Memory (Or: Contexts for free). [Citation Graph (, )][DBLP]
    
    
19. 
    Abstraction for Concurrent Objects. [Citation Graph (, )][DBLP]
    
    
20. 
    Minimization Algorithm for Symbolic Bisimilarity. [Citation Graph (, )][DBLP]
    
    
21. 
    Conversation Types. [Citation Graph (, )][DBLP]
    
    
22. 
    Abstract Processes in Orchestration Languages. [Citation Graph (, )][DBLP]
    
    
23. 
    Global Principal Typing in Partially Commutative Asynchronous Sessions. [Citation Graph (, )][DBLP]
    
    
24. 
    Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. [Citation Graph (, )][DBLP]
    
    
25. 
    Automatic Parallelization with Separation Logic. [Citation Graph (, )][DBLP]
    
    
26. 
    Deny-Guarantee Reasoning. [Citation Graph (, )][DBLP]
    
    
27. 
    A Basis for Verifying Multi-threaded Programs. [Citation Graph (, )][DBLP]
    
    
28. 
    SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. [Citation Graph (, )][DBLP]