Marcin Benke

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 2

Top Topics

First Order Logic

Functional Programs

Natural Deduction

Top Venues

Publications

Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic. FSCD (2016)
Marcin Benke
Specifying Functional Programs with Intuitionistic First Order Logic. CS&P (2015)
Marcin Benke, Viviana Bono, Aleksy Schubert
Lucretia - intersection type polymorphism for scripting languages. ITRS (2014)
Viviana Bono, Marcin Benke, Aleksy Schubert
Lucretia - a type system for objects in languages with reflection CoRR (2012)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. Haskell (2005)
Fredrik Lindblad, Marcin Benke
A Tool for Automated Theorem Proving in Agda. TYPES (2004)
Marcin Benke, Peter Dybjer, Patrik Jansson
Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput. 10 (4) (2003)
Marcin Benke
Some Complexity Bounds for Subtype Inequalities. Theor. Comput. Sci. 212 (1-2) (1999)
Marcin Benke
An Algebraic Characterization of Typability in ML with Subtyping. FoSSaCS (1999)
Marcin Benke
Predicative Polymorphic Subtyping. MFCS (1998)
Marcin Benke
Efficient Type Reconstruction in the Presence of Inheritance. MFCS (1993)