Statistics
Publications
4
Citations
71
H-Index
4
Active since
2009
Benoît Montagu is an author at University of Pennsylvania specializing in computing, computer science, and type systems.
Publications per year
2009–2021
4
4
A Theory of Information-Flow Labels
Benoît Montagu, Benjamin C. Pierce, Randy Pollack · 2013 · 21 citations · Full text
Preliminary design of the SAFE platform
André DeHon, Ben Karel, Thomas F. Knight et al. · 2011 · 20 citations · Full text
Modeling abstract types in modules with open existential types
Benoît Montagu, Didier Rémy · 2009 · 18 citations
Trace-based control-flow analysis
Benoît Montagu, Thomas Wiben Jensen · 2021 · 12 citations · Full text
1–4 of 4