Matthias Neubauer and Peter Thiemann - Free people check

(1 - 20 from 23

)

ICFP PLI — early registration ends tomorrow (July 30)! –...

www.mombu.com

Matthias Neubauer, Peter Thiemann (Universität Freiburg) MLF: Raising ML to the power of system F Didier Le Botlan, Didier Remy (INRIA Rocquencourt) ...

Accepted Papers

www.cs.princeton.edu

Matthias Neubauer, Peter Thiemann. Associated Types with Class. Manuel Chakravarty, Gabriele Keller, Simon Peyton-Jones, Simon Marlow ...

SCEAS

sceas.csd.auth.gr

Matthias Neubauer: [Publications] [Author Rank by year] [Co-authors] [Prefers] ... Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber ...

Practical Aspects of Declarative Languages: 6th International...

books.google.de

Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. A functional notation for functional dependencies. In Ralf Hinze, editor, Proceedings of the Haskell Workshop, to appear. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In POPL [28], pages 54 –67.

Programming Languages and Systems: Second Asian Symposium, APLAS

books.google.de

Protocol Specialization Matthias Neubauer and Peter Thiemann Institut fär Informatik, Universität FreiburgFreiburg, Germany ...

Matthias Neubauer - researchr alias

researchr.org

From sequential programs to multi-tier applications by program transformationMatthias Neubauer, Peter Thiemann. POPL 2005: [doi] ...

CiteSeerX — A Functional Notation for Functional Dependencies

citeseerx.ist.psu.edu

author = {Matthias Neubauer and Peter Thiemann and Martin Gasbichler and Michael Sperber}, title = {A Functional Notation for Functional Dependencies},

Functional Logic Overloading

www.cs.tufts.edu

Matthias Neubauer. Peter Thiemann. Universität Freiburg. &#-freiburg.de. Martin Gasbichler. Michael Sperber ...

CiteSeerX — An Implementation of Session Types

citeseer.ist.psu.edu

by Matthias Neubauer , Peter Thiemann. In PADL, volume of LNCS. Add To ...

Google Groups: Using functional notation to extend BNF

: ... Peter Thiemann and Matthias Neubauer The examples therein are quite similar: SepList (Sep, Item) : /* empty */ | NESepList (Sep, Item) ; NESepList (Sep, ...

Google Groups: PPDP'08: Call for Participation

: Declarative Ajax and Client Side Evaluation of Workflows using iTasks Peter Thiemann and Matthias Neubauer. Macros for Context-Free Grammars Yves Bertot and ...

Google Groups: Principles of Programming Languages Call for Participation

: ... Hernan Melgratti, Ugo Montanari * From Sequential Programs to Multi-Tier Applications by Program Transformation - Matthias Neubauer, Peter Thiemann ...

Google Groups: FW: [IcfpSC] Call for spam -- one more time-sensitive round

: ... Jurriaan Hage, Doaitse Swierstra (Universiteit = Utrecht) Discriminative sum types locate the source of type errors Matthias Neubauer, Peter Thiemann ...

2001 Haskell Workshop

www.haskell.org

Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. Report from the program chair and 10-minute talks: "Haskell ...

Michael Sperber → Papers and Publications

www.deinprogramm.de

Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: A Functional Notation for Functional Dependencies, In The ACM SIGPLAN Haskell Workshop, Firenze, Italy, September proceedings (pdf); Matthias Neubauer, Michael Sperber: Down with Emacs Lisp: Dynamic Scope Analysis, In The ...

Michael Sperber
Florian Krenn
Jurriaan Hage

Wilhelm Neubauer
John Goerzen

Person "Neubauer" (2)
Forename "Matthias" (13579)
Name "Neubauer" (1508)

sorted by relevance / date

Advanced Search

Search name: 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

Matthias Neubauer and Peter Thiemann Free People Check