Marcin Benke

According to our database, Marcin Benke authored at least 11 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic.

Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

Specifying Functional Programs with Intuitionistic First Order Logic.

Marcin Benke

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

Lucretia - intersection type polymorphism for scripting languages.

Marcin Benke, Viviana Bono, Aleksy Schubert

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

2012

Lucretia - a type system for objects in languages with reflection

Viviana Bono, Marcin Benke, Aleksy Schubert

CoRR, 2012

2005

Verifying haskell programs using constructive type theory.

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

A Tool for Automated Theorem Proving in Agda.

Fredrik Lindblad, Marcin Benke

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2003

Universes for Generic Programs and Proofs in Dependent Type Theory.

Marcin Benke, Peter Dybjer, Patrik Jansson

Nord. J. Comput., 2003

1999

Some Complexity Bounds for Subtype Inequalities.

Marcin Benke

Theor. Comput. Sci., 1999

An Algebraic Characterization of Typability in ML with Subtyping.

Marcin Benke

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998

Predicative Polymorphic Subtyping.

Marcin Benke

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1993

Efficient Type Reconstruction in the Presence of Inheritance.

Marcin Benke

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993