| |
| 2005 | ||
|---|---|---|
| 7 | EE | Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell: Verifying haskell programs using constructive type theory. Haskell 2005: 62-73 |
| 2004 | ||
| 6 | EE | 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 | EE | Marcin Benke: Some Complexity Bounds for Subtype Inequalities. Theor. Comput. Sci. 212(1-2): 3-27 (1999) |
| 1998 | ||
| 2 | EE | 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] |