Statistics
Publications
4
Citations
340
H-Index
4
Active since
1992
Affiliations
François Bourdoncle is an author at École Nationale Supérieure des Mines de Paris specializing in computing, programming languages, and computer science.
Publications per year
1992–1997
4
4
Abstract debugging of higher-order imperative languages
François Bourdoncle · 1993 · 147 citations
Abstract interpretation by dynamic partitioning
François Bourdoncle · Journal of Functional Programming · 1992 · 94 citations · Full text
Type checking higher-order polymorphic multi-methods
François Bourdoncle, Stephan Merz · 1997 · 71 citations
Abstract debugging of higher-order imperative languages
François Bourdoncle · ACM SIGPLAN Notices · 1993 · 28 citations
1–4 of 4