Searching for authors named "Andreas Rossberg" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Abstract Status Report: HOT Pickles, and How To Serve Them
- …Abstract Status Report: HOT Pickles, and How To Serve Them Andreas Rossberg Saarland University…
- Add To MetaCart
-
The Missing Link -- Dynamic Components for ML (Extended)
- …. If at all, they only offer basic [copyright notice will appear here] Andreas Rossberg Universität des…
- Cited by 1 (1 self) – Add To MetaCart
-
Mixin’ Up the ML Module System
- … will appear here once ’preprint’ option is removed.] Derek Dreyer Andreas Rossberg Max Planck Institute…
- Add To MetaCart
-
Beyond Type Classes
- …Beyond Type Classes Andreas Rossberg Programming Systems Universit at des Saarlandes, Germany…
- Add To MetaCart
-
Defects in the Revised Definition of Standard ML
- …Defects in the Revised Definition of Standard ML Andreas Rossberg Universit at des Saarlandes…
- Add To MetaCart
-
State-dependent representation independence
- …-SWS dreyer@(email omitted); Andreas Rossberg MPI-SWS rossberg@(email omitted); Abstract Mitchell’s notion…
- Cited by 6 (2 self) – Add To MetaCart
-
A Theory of Overloading Part II: Semantics and Coherence
- …A Theory of Overloading Part II: Semantics and Coherence Andreas Rossberg Martin Sulzmann…
- Add To MetaCart
-
Defects in the revised definition of Standard ML
- …Defects in the Revised Definition of Standard ML 1 Introduction Andreas Rossberg Universität des…
- Cited by 4 (0 self) – Add To MetaCart
-
Reviewers
- … Rossberg Reviewers Prof. Dr. Gert Smolka Prof. Dr. Andreas Zeller Statement Hereby I confirm…
- Add To MetaCart
-
Chapter 1 Alice Through the Looking Glass
- …Chapter 1 Alice Through the Looking Glass Andreas Rossberg 1 Didier Le Botlan 1 Guido Tack 1…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
