Nils Dallmeyer und Goethe-University Frankfurt Person-Info

( Ich bin Nils Dallmeyer)

(1 - 6 von 6

)

Participants

www.cs.le.ac.uk

École Normale Supérieure & Université Paris Nord Nils Dallmeyer, Goethe-University Frankfurt Nirina Andrianarivelo, LIFO-Universite d'Orleans. 72.

[ ] An Environment for Analyzing Space Optimizations in...

arxiv.org

Authors: Nils Dallmeyer (Goethe-University Frankfurt, Germany), Manfred Schmidt-Schauss (Goethe-University Frankfurt, Germany). (Submitted on 3 Jan 2017). Abstract: We present an implementation of an interpreter LRPi for the call-by-need calculus LRP, based on a variant of Sestoft's abstract machine Mark 1, extended ...

[ ] Optimizing Space of Parallel Processes

arxiv.org

Authors:Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main), Nils Dallmeyer (Goethe-University Frankfurt am Main). (Submitted on ...

PPDP | LOPSTR | WFLP Common Call for Participation - curry -...

lists.rwth-aachen.de

... Spain Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel ...

[ ] Space Improvements and Equivalences in a Functional Core...

128.84.21.199

Authors:Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main), Nils Dallmeyer (Goethe-University Frankfurt am Main). (Submitted on ...

[TYPES/announce] PPDP | LOPSTR | WFLP Common Call for...

lists.seas.upenn.edu

... Spain Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel ...

Alle Infos zum Namen "Nils Dallmeyer"

Verwandte Suchanfragen zu Nils Dallmeyer

Manfred Schmidt-Schauss

Personen
Vorname "Nils" (14936)
Name "Dallmeyer" (97)

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

Impressum AGB Datenschutz

+1

Weltweit