| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 7 |      | Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell: Verifying haskell programs using constructive type theory. Haskell 2005: 62-73 |
| 2004 | ||
| 6 | | Fredrik Lindblad, Marcin Benke: A Tool for Automated Theorem Proving in Agda. TYPES 2004: 154-169 |
| 2003 | ||
| 5 |  | Marcin Benke, Peter Dybjer, Patrik Jansson: Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput. 10(4): 265-289 (2003) |
| 1999 | ||
| 4 | | Marcin Benke: An Algebraic Characterization of Typability in ML with Subtyping. FoSSaCS 1999: 104-119 |
| 3 | | Marcin Benke: Some Complexity Bounds for Subtype Inequalities. Theor. Comput. Sci. 212(1-2): 3-27 (1999) |
| 1998 | ||
| 2 | | Marcin Benke: Predicative Polymorphic Subtyping. MFCS 1998: 326-335 |
| 1993 | ||
| 1 | | Marcin Benke: Efficient Type Reconstruction in the Presence of Inheritance. MFCS 1993: 272-280 |
| 1 | Andreas Abel | [7] |
| 2 | Ana Bove | [7] |
| 3 | Peter Dybjer | [5] |
| 4 | John Hughes | [7] |
| 5 | Patrik Jansson | [5] |
| 6 | Fredrik Lindblad | [6] |
| 7 | Ulf Norell | [7] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page