
Search the dblp DataBase
Marcin Benke:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Marcin Benke
An Algebraic Characterization of Typability in ML with Subtyping. [Citation Graph (0, 0)][DBLP] FoSSaCS, 1999, pp:104119 [Conf]
 Marcin Benke
Efficient Type Reconstruction in the Presence of Inheritance. [Citation Graph (0, 0)][DBLP] MFCS, 1993, pp:272280 [Conf]
 Marcin Benke
Predicative Polymorphic Subtyping. [Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:326335 [Conf]
 Fredrik Lindblad, Marcin Benke
A Tool for Automated Theorem Proving in Agda. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:154169 [Conf]
 Marcin Benke, Peter Dybjer, Patrik Jansson
Universes for Generic Programs and Proofs in Dependent Type Theory. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2003, v:10, n:4, pp:265289 [Journal]
 Marcin Benke
Some Complexity Bounds for Subtype Inequalities. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:212, n:12, pp:327 [Journal]
 Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:6273 [Conf]
Search in 0.209secs, Finished in 0.209secs
