Search the dblp DataBase

Publications of Author

1. J. B. Wells, Boris Yakobowski
   Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2004, pp:262-277 [Conf]
   
2. Didier Rémy, Boris Yakobowski
   A graphical presentation of ML^F types with a linear-time unification algorithm. [Citation Graph (0, 0)][DBLP]
   TLDI, 2007, pp:27-38 [Conf]
   
3. 
   A Church-Style Intermediate Language for ML^F. [Citation Graph (, )][DBLP]
   
   
4. 
   From ML to ML^F: graphic type constraints with efficient type inference. [Citation Graph (, )][DBLP]
   
   
5. 
   Experience report: ocsigen, a web programming framework. [Citation Graph (, )][DBLP]