Derek Dreyer - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 5 von 8

)

[ ] Logical Step-Indexed Logical Relations

arxiv.org

· Logical Step-Indexed Logical Relations. Authors:Derek Dreyer (MPI-SWS), Amal Ahmed (Indiana University), Lars Birkedal (IT University of ...

Prof. Dr. Derek Dreyer Max Planck Institute for Software ...Wydział Matematyki i Informatyki Uniwersytetu Wrocławskiego

www.wmi.uni.wroc.pl

— Derek Dreyer. Max Planck Institute for Software Systems. Campus E1.5, Saarbrücken, Germany. Tel: + E-mail: dreyer@mpi-sws ...

Documents authored by Dreyer, Derek - DROPSdagstuhl.de

drops.dagstuhl.de

von JO Kaiser · Zitiert von: 1 — Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis. Published in: DARTS, Volume 3, Issue 2, Special Issue of the 31st European ...

Unifying Worlds and Resources - Ralf JungRalf Jung

research.ralfj.de

Ralf Jung, Derek Dreyer. Max Planck Institute for Software Systems (MPI-SWS),. Saarland University. August 30th. HOPE 2015, Vancouver. Ralf Jung, Derek Dreyer.

cv.txt - CMU School of Computer ScienceCMU School of Computer Science

www.cs.cmu.edu

[Derek Dreyer.] Thesis Proposal: Effective Type Theory for Modularity. Unpublished manuscript, November [Derek Dreyer, Karl Crary, and Robert Harper.] ...

Verwandte Suchanfragen zu Derek Dreyer

Lars Birkedal
Robert Harper
Ralf Jung

Amal Ahmed
Kathrin Stark
Georg Neis

Person "Dreyer" (12)
Vorname "Derek" (3552)
Name "Dreyer" (1971)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Derek Dreyer

[ ] Logical Step-Indexed Logical Relations

Prof. Dr. Derek Dreyer Max Planck Institute for Software ...Wydział Matematyki i Informatyki Uniwersytetu Wrocławskiego

Documents authored by Dreyer, Derek - DROPSdagstuhl.de

Unifying Worlds and Resources - Ralf JungRalf Jung

cv.txt - CMU School of Computer ScienceCMU School of Computer Science