Conferences in DBLP

ACM SIGPLAN International Conference on Functional Programming (ICFP) (icfp)
2005 (conf/icfp/2005merlin)

1. 
   Towards a type theory of contexts. [Citation Graph (, )][DBLP]
   
   
2. 
   A computational approach to reflective meta-reasoning about languages with bindings. [Citation Graph (, )][DBLP]
   
   
3. 
   A unified category-theoretic formulation of typed binding signatures. [Citation Graph (, )][DBLP]
   
   
4. 
   A formal treatment of the barendregt variable convention in rule inductions. [Citation Graph (, )][DBLP]
   
   
5. 
   Toward a general theory of names: binding and scope. [Citation Graph (, )][DBLP]
   
   
6. 
   Translating specifications from nominal logic to CIC with the theory of contexts. [Citation Graph (, )][DBLP]
   
   
7. 
   Types with semantics: soundness proof assistant. [Citation Graph (, )][DBLP]
   
   
8. 
   Combining higher-order abstract syntax with first-order abstract syntax in ATS. [Citation Graph (, )][DBLP]