Michael Sperber

Orcid: 0000-0002-5280-9632

Affiliations:
  • University of Tübingen, Germany


According to our database1, Michael Sperber authored at least 33 papers between 1995 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Evolution of Emacs Lisp.
Proc. ACM Program. Lang., 2020

Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8.
J. Funct. Program., 2020

2017
FARM 2017 demo summary.
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017

2016
FARM 2016 demo summary.
Proceedings of the 4th International Workshop on Functional Art, 2016

2015
CUFP'13 scribe's report.
J. Funct. Program., 2015

2014
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial.
J. Funct. Program., 2014

<i>Systematic Program Design: From Clarity to Efficiency</i>, by Yanhong Annie Liu, Cambridge University Press, 2013, ISBN: 978-1-107-03660-4.
J. Funct. Program., 2014

2013
Commercial users of functional programming workshop report.
J. Funct. Program., 2013

Feel different on the Java platform: the star programming language.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

2012
Form over function: teaching beginners how to construct programs.
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

2010
Systematisches Programmieren in der Anfängerausbildung.
Informatica Didact., 2010

Experience report: growing programming languages for beginning students.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Erfolgreiche Anfängerausbildung im Programmieren.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Revised6 Report on the Algorithmic Language Scheme.
Cambridge University Press, ISBN: 978-0-521-19399-3, 2010

2008
The ICFP developer conference 2008.
ACM SIGPLAN Notices, 2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.
Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2007
It's all about being right: lessons from the R<sup>6</sup>RS process.
Proceedings of the International Lisp Conference, 2007

Die Macht der Abstraktion - Einführung in die Programmierung.
Leitfäden der Informatik, Teubner, ISBN: 978-3-8351-0155-5, 2007

2005
Integrating User-Level Threads with Processes in Scsh.
High. Order Symb. Comput., 2005

2002
Functional logic overloading.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Final shift for call/cc: : direct implementation of shift and reset.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001
Computer-assisted lighting design and control.
PhD thesis, 2001

Developing a Stage Lighting System from Scratch.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Down with Emacs Lisp: Dynamic Scope Analysis.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000
Generation of LR parsers by partial evaluation.
ACM Trans. Program. Lang. Syst., 2000

1997
Two for the Price of One: Composing Partial Evaluation and Compilation.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Program Generation with Class.
Proceedings of the Informatik '97, 1997

Distributed partial evaluation.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996
Bootstrapping higher-order program transformers from interpreters.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

Realistic Compilation by Partial Evaluation.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Polyvariant Expansion and Compiler Generators.
Proceedings of the Perspectives of System Informatics, 1996

Self-Applicable Online Partial Evaluation.
Proceedings of the Partial Evaluation, International Seminar, 1996

1995
The Essence of LR Parsing.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995


  Loading...