Boris Yakobowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

3EEDidier Rémy, Boris Yakobowski: From ML to MLF: graphic type constraints with efficient type inference. ICFP 2008: 63-74
2EEDidier Rémy, Boris Yakobowski: A graphical presentation of MLF types with a linear-time unification algorithm. TLDI 2007: 27-38
1EEJ. B. Wells, Boris Yakobowski: Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. LOPSTR 2004: 262-277

Coauthor Index

1Didier Rémy [2] [3]
2J. B. Wells [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)