|
[2019]
|
Manfred
Schmidt-Schauß and
Nils
Dallmeyer.
Space improvements for total garbage collection.
Frank
report 61, Institut für Informatik, Goethe-Universität Frankfurt am
Main, April 2019.
[ bib |
PDF ]
|
|
[2019]
|
Manfred
Schmidt-Schauß and
Nils
Dallmeyer.
Optimizing space of parallel processes.
In Joachim Niehren and David Sabel, editors, Proceedings
Fifth International Workshop on Rewriting Techniques for Program
Transformations and Evaluation, Oxford, UK, 8th July 2018, volume 289
of Electronic Proceedings in Theoretical Computer Science, pages
68-87. Open Publishing Association, 2019.
[ bib |
DOI ]
|
|
[2018]
|
Manfred
Schmidt-Schauß,
David
Sabel, and
Nils
Dallmeyer.
Sequential and parallel improvements in a concurrent functional
programming language.
In Proceedings of the 20th International Symposium on Principles
and Practice of Declarative Programming, PPDP '18, pages 20:1-20:13, New
York, NY, USA, 2018. ACM.
[ bib |
DOI |
http ]
|
|
[2018]
|
Manfred
Schmidt-Schauß and
Nils
Dallmeyer.
Space improvements and equivalences in a functional core language.
In Horatiu Cirstea and David Sabel, editors, Proceedings
Fourth International Workshop on Rewriting Techniques for Program
Transformations and Evaluation, Oxford, UK, 8th September 2017, volume
265 of Electronic Proceedings in Theoretical Computer Science, pages
98-112. Open Publishing Association, 2018.
[ bib |
DOI ]
|
|
[2017]
|
Manfred
Schmidt-Schauß,
David
Sabel, and
Nils
Dallmeyer.
Improvements for concurrent haskell with futures.
Frank
report 58, Institut für Informatik. Fachbereich Informatik und
Mathematik. J. W. Goethe-Universität Frankfurt am Main, December 2017.
[ bib |
PDF ]
|
|
[2017]
|
Manfred
Schmidt-Schauß and
Nils
Dallmeyer.
Space improvements and equivalences in a polymorphically typed
functional core language: Context lemmas and proofs.
Frank
report 57, Institut für Informatik. Fachbereich Informatik und
Mathematik. J. W. Goethe-Universität Frankfurt am Main, July 2017.
[ bib |
PDF ]
|
|
[2017]
|
Nils
Dallmeyer and
Manfred
Schmidt-Schauß.
An environment for analyzing space optimizations in call-by-need
functional languages.
In Horatiu Cirstea and Santiago Escobar, editors,
Proceedings Third International Workshop on Rewriting Techniques for Program
Transformations and Evaluation, Porto, Portugal, 23rd June 2016,
volume 235 of Electronic Proceedings in Theoretical Computer Science,
pages 78-92. Open Publishing Association, 2017.
[ bib |
DOI ]
|
This file was generated by
bibtex2html 1.97.
|