Boris Yakobowski

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Didier Rémy, Boris Yakobowski: A graphical presentation of ML^F types with a linear-time unification algorithm. TLDI 2007: 27-38

2004

1 EE J. B. Wells, Boris Yakobowski: Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. LOPSTR 2004: 262-277

2007
2	EE	Didier Rémy, Boris Yakobowski: A graphical presentation of ML^F types with a linear-time unification algorithm. TLDI 2007: 27-38
2004
1	EE	J. B. Wells, Boris Yakobowski: Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. LOPSTR 2004: 262-277

Coauthor Index

1 Didier Rémy [2]

2 J. B. Wells [1]

Colors in the list of coauthors