dblp.uni-trier.dewww.uni-trier.de

Bruno Monsuez Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
7 Bruno Monsuez: Using Abstract Interpretation to Define a Strictness Type Inference System. PEPM 1995: 122-133
6 Bruno Monsuez: System F and Abstract Interpretation SAS 1995: 279-295
1993
5EEBruno Monsuez: Polymorphic Typing for Call-by-Name Semantics. Formal Methods in Programming and Their Applications 1993: 156-169
4 Bruno Monsuez: Polymorphic Types and Widening Operators. WSA 1993: 267-281
1992
3EEBruno Monsuez: Polymorphic Typing by Abstract Interpretation. FSTTCS 1992: 217-228
2 Bruno Monsuez: Fractional Types. WSA 1992: 274-284
1991
1 Bruno Monsuez: An Attempt to Find Polymorphic Types by Abstract Interpretation. JTASPEFT/WSA 1991: 18-25

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)