Marcin Benke

	Warsaw Haskell Göteborg

	University Types Aleksy Schubert Andreas Abel Peter Viviana Bono Efficient type Reconstruction Ulf Norell Software Logic

Images of Marcin Benke

(0 from 0 )

News

DBLife: Marcin Benke News Archive

dblife.cs.wisc.edu

Return to Marcin Benke's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo! Research.

Making programming with dependent types practical through better...

memento.epfl.ch

A Tool for Automated Theorem Proving in Agda, by Fredrik Lindblad and Marcin Benke Elaborator Reflection: Extending Idris in Idris, by David ...

Network Profiles

(1 - 4 from 11

–show all

)

Facebook: Marcin Benke | Facebook

LinkedIn: Marcin Benke | LinkedIn

Wyświetl profesjonalny profil użytkownika Marcin Benke na LinkedIn. LinkedIn to największa na świecie sieć biznesowa, która pomaga specjalistom takim jak ...

Twitter Profile: Marcin Benke (marcinbenke)

Private Homepages

benke.org

Witajcie w naszej bajce. Strona w przebudowie. Praca. Zaprzyjaźnione strony: Szkola latania Runway; Monoceros; Gajlity; Villa Nova; Kontakt:

Books & Literature

(1 - 4 from 15

–show all

)

SCEAS

sceas.csd.auth.gr

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell Verifying haskell programs using constructive type theory. [Citation Graph (0, 0)] Haskell, 2005, pp:62-73

List of Authors

ecatalog.dcc.edu.sa

... Fiore Marcelo Soriano Viana JosØ£Â© MARCH RAYMOND E. Marchi Blatt Jucelene Marchlinski Francis E. Marcia Riley Marcia A. Derr Marcial RamØ£Ârez Marcin Benke Marcin

Mathematical Foundations of Computer Science 1998: 23rd International...

books.google.de

This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS'98, held in Brno,...

STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer...

books.google.it

... Paul Beame Luca Becchetti Arnold Beckmann Lev Beklemishev Radim Belohlavek Marcin Benke Petra Berenbrink Anne Bergeron Luca Bernardinello Anna ...

Scientific Publications

(1 - 4 from 8

–show all

)

Internal Server Error

www.sciencedirect.com

Some complexity bounds for subtype inequalities. Original Research Article; Pages 3-27; Marcin Benke. Abstract; PDF (1422 K). Open Archive Open Archive ...

dblp: Viviana Bono

dblp.uni-trier.de

List of computer science publications by Viviana Bono

dblp.org › PersonsMarcin Benke - dblp

dblp.org

List of computer science publications by Marcin Benke.

dblp: Marcin Benke

dblp.uni-trier.de

List of computer science publications by Marcin Benke

Publications

(1 - 4 from 7

–show all

)

Efficient type reconstruction in the presence of inheritance |...

link.springer.com

Marcin Benke. Institute of Informatics. Warsaw University ul. Banacha

Kompilatory – Lem

lem12.uksw.edu.pl

IBM PC/XT DOS, Instytut Informatyki UW, Danuta Szczepańska, Marcin Benke, Grzegorz Grudziński. Nowy protokół tzw. alien call,

An Algebraic Characterization of Typability in ML with Subtyping |...

link.springer.com

We research the problem of typability in the functional language ML extended with both atomic and polymorphic subtyping. The paper analyses the interaction...

Predicative polymorphic subtyping | SpringerLink

link.springer.com

von M Benke Zitiert durch: 1 - Ähnliche ArtikelMarcin Benke. Institute of Informatics. Warsaw University ben~mimuw, edu. pl Marcin Benke. Predicative polymorphic subtyping. Technical Report TR

Reports & Statements

(1 - 4 from 88

–show all

)

Google Groups: [Haskell-cafe] historical question about Haskell and Haskell Curry

: (Why no Haskell compilers' intermediate languages are named "Alonzo" is left as an exercise for the reader :-) On the hand, Marcin Benke's compiler for the ...