Bernd Grobauer und Aarhus - Info zur Person

(1 - 8 von 13

)

Olivier Danvy - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Daniel Damian, Aarhus University, Bernd Grobauer, Aarhus University, Lasse Nielsen, Aarhus University, Morten Rhiger, Aarhus University ...

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT...

books.google.de

Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Bernd Grobauer. Topics in Semantics-based Program Manipulation. PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, July BRICS DS Bernd Grobauer and Zhe Yang.

Abstract Bernd Grobauer

www-sop.inria.fr

Cost Recurrences for DML Programs. Bernd Grobauer. BRICS International PhD School, Aarhus Universitet, Denmark. Abstract: A cost ...

Bernd Grobauer - Homedl.acm.org › profile

dl.acm.org

Bernd Grobauer. Univ. of Aarhus. October 2001ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional ...

Bernd Grobauer - Wikidatawww.wikidata.org › wiki

www.wikidata.org

Bernd Grobauer. Ph.D. Aarhus University Spanish. No label defined. No description defined. Traditional Chinese. No label defined.

ICFP conference program

cristal.inria.fr

Cost Recurrences for DML Programs: Bernd Grobauer (BRICS, University of Aarhus). Possibilities and Limitations of Call-by-Need Space ...

Other Scientists

www.macs.hw.ac.uk

Andy Gordon @ Microsoft Research Cambridge: o Clemens Grelck, @ Luebeck: o Bernd Grobauer, @ Univ of Aarhus: o Gaetan Hains, @ LIFO ...

View of Partial Evaluation of Pattern Matching in Strings, revisitedtidsskrift.dk › brics › article › view

tidsskrift.dk

Partial Evaluation of Pattern Matchingin Strings, revisitedBernd Grobauer BRICSyDepartment of Computer ScienceUniversity of AarhusJulia L.

Alle Infos zum Namen "Bernd Grobauer"

Verwandte Suchanfragen zu Bernd Grobauer

Alexander Pretschner
Theresa Wasserer
Tobias Walloschek

Elmar Stöcker
Thomas Schreck
Jens Ingo Mehlau

Ingo Mehlau
Ludwig Reisinger
Günter Reisinger

Person "Grobauer" (1)
Vorname "Bernd" (49284)
Name "Grobauer" (47)

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

Bernd Grobauer und Aarhus Person-Info