Marcin Benke
Marcin Benke
Senior Lecturer, University of Warsaw
Bestätigte E-Mail-Adresse bei mimuw.edu.pl
Titel
Zitiert von
Zitiert von
Jahr
Universes for generic programs and proofs in dependent type theory
M Benke, P Dybjer, P Jansson
Nord. J. Comput. 10 (4), 265-289, 2003
892003
Verifying Haskell programs using constructive type theory
A Abel, M Benke, A Bove, J Hughes, U Norell
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 62-73, 2005
422005
Efficient type reconstruction in the presence of inheritance
M Benke
International Symposium on Mathematical Foundations of Computer Science, 272-280, 1993
361993
A tool for automated theorem proving in Agda
F Lindblad, M Benke
Types for Proofs and Programs, 154-169, 2006
312006
Some complexity bounds for subtype inequalities
M Benke
Institute of Informatics, Warsaw University, 1995
101995
Alonzo - a compiler for Agda
M Benke
Talk at Agda Implementors Meeting, 2007
82007
Some complexity bounds for subtype inequalities
M Benke
Theoretical Computer Science 212 (1-2), 3-27, 1999
71999
Complexity of type reconstruction in programming languages with subtyping
M Benke
Rozprawa doktorska. Uniwersytet Warszawski, Wydział Matematyki, Informatyki …, 1997
61997
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic
M Benke, A Schubert, D Walukiewicz-Chrzaszcz
1st International Conference on Formal Structures for Computation and …, 2016
22016
Strategies for interactive proof and program development in Martin-Löf type theory
M Benke
proceedings of 4th International Workshop on Strategies in Automated Deduction, 2001
12001
Some tools for computer-assisted theorem proving in Martin-Löf type theory
M Benke
TPHOLs—Supplemental Proceedings. University of Edinburgh, 2001
12001
An algebraic characterization of typability in ML with subtyping
M Benke
International Conference on Foundations of Software Science and Computation …, 1999
11999
Predicative polymorphic subtyping
M Benke
International Symposium on Mathematical Foundations of Computer Science, 326-335, 1998
11998
A logical approach to complexity bounds for subtype inequalities
M Benke
Gödel'96: Logical foundations of mathematics, computer science and physics …, 1996
11996
Lucretia-intersection type polymorphism for scripting languages
M Benke, V Bono, A Schubert
arXiv preprint arXiv:1503.04918, 2015
2015
Specifying Functional Programs with Intuitionistic First Order Logic.
M Benke
CS&P, 57-63, 2015
2015
LIPIcs, Volume 38, TLCA'15, Complete Volume
T Altenkirch
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
2015
LIPIcs, Volume 38, TLCA'15, Complete Volume
T Altenkirch
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
2015
Lucretia-a type system for objects in languages with reflection
V Bono, M Benke, A Schubert
arXiv preprint arXiv:1206.5112, 2012
2012
Valid XML Transformations with Dependent Types
M Benke
2007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20