Marcin Benke

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