default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Sperber
Person information
- affiliation: University of Tübingen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Michael Sperber
:
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020). J. Funct. Program. 34 (2024)- [e5]Michael Sperber, Perdita Stevens:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2024, Milan, Italy, 6 September 2024. ACM 2024, ISBN 979-8-4007-1101-5 [contents] - 2023
- [e4]Michael Sperber, Graham Hutton:
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, FUNARCH 2023, Seattle, WA, USA, 8 September 2023. ACM 2023 [contents] - 2020
- [j10]Michael Sperber:
Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8. J. Funct. Program. 30: e21 (2020) - [j9]Stefan Monnier, Michael Sperber:
Evolution of Emacs Lisp. Proc. ACM Program. Lang. 4(HOPL): 74:1-74:55 (2020)
2010 – 2019
- 2017
- [c20]Jean Bresson, Michael Sperber:
FARM 2017 demo summary. FARM@ICFP 2017: 48 - [e3]Michael Sperber, Jean Bresson:
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September 9, 2017. ACM 2017, ISBN 978-1-4503-5180-5 [contents] - 2016
- [c19]Michael Sperber, David Janin:
FARM 2016 demo summary. FARM@ICFP 2016: 60 - [e2]David Janin, Michael Sperber:
Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24, 2016. ACM 2016, ISBN 978-1-4503-4432-6 [contents] - 2015
- [j8]Marius Eriksen, Michael Sperber, Anil Madhavapeddy:
CUFP'13 scribe's report. J. Funct. Program. 25 (2015) - 2014
- [j7]Michael Sperber:
Systematic Program Design: From Clarity to Efficiency, by Yanhong Annie Liu, Cambridge University Press, 2013, ISBN: 978-1-107-03660-4. J. Funct. Program. 24(1): 128-130 (2014) - [j6]Michael Sperber, Lennart Augustsson:
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial. J. Funct. Program. 24(6): 612 (2014) - [e1]Alex McLean, Michael Sperber, Henrik Nilsson:
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM@ICFP 2014, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-3039-8 [contents] - 2013
- [j5]Michael Sperber, Anil Madhavapeddy:
Commercial users of functional programming workshop report. J. Funct. Program. 23(6): 701-712 (2013) - [c18]Frank McCabe, Michael Sperber:
Feel different on the Java platform: the star programming language. PPPJ 2013: 89-100 - 2012
- [c17]Michael Sperber, Marcus Crestani:
Form over function: teaching beginners how to construct programs. Scheme@ICFP 2012: 81-89 - 2010
- [b3]Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews:
Revised6 Report on the Algorithmic Language Scheme. Cambridge University Press 2010, ISBN 978-0-521-19399-3, pp. 1-301 - [j4]Jürgen Börstler, Michael Sperber:
Systematisches Programmieren in der Anfängerausbildung. Informatica Didact. 8 (2010) - [c16]Marcus Crestani, Michael Sperber:
Erfolgreiche Anfängerausbildung im Programmieren. GI Jahrestagung (2) 2010: 921-926 - [c15]Marcus Crestani, Michael Sperber:
Experience report: growing programming languages for beginning students. ICFP 2010: 229-234
2000 – 2009
- 2008
- [j3]James Hook, Michael Sperber:
The ICFP developer conference 2008. ACM SIGPLAN Notices 43(5): 3-4 (2008) - [c14]Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel:
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP 2008: 1-12 - 2007
- [b2]Herbert Klaeren, Michael Sperber:
Die Macht der Abstraktion - Einführung in die Programmierung. Leitfäden der Informatik, Teubner 2007, ISBN 978-3-8351-0155-5, pp. I-VIII, 1-321 - [c13]Michael Sperber:
It's all about being right: lessons from the R6RS process. ILC 2007: 7 - 2005
- [j2]Martin Gasbichler, Michael Sperber:
Integrating User-Level Threads with Processes in Scsh. High. Order Symb. Comput. 18(3-4): 327-354 (2005) - 2002
- [c12]Martin Gasbichler, Michael Sperber:
Final shift for call/cc: : direct implementation of shift and reset. ICFP 2002: 271-282 - [c11]Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber:
Functional logic overloading. POPL 2002: 233-244 - 2001
- [b1]Michael Sperber:
Computer-assisted lighting design and control. University of Tübingen, Germany, 2001, pp. 1-218 - [c10]Matthias Neubauer, Michael Sperber:
Down with Emacs Lisp: Dynamic Scope Analysis. ICFP 2001: 38-49 - [c9]Michael Sperber:
Developing a Stage Lighting System from Scratch. ICFP 2001: 122-133 - 2000
- [j1]Michael Sperber, Peter Thiemann:
Generation of LR parsers by partial evaluation. ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000)
1990 – 1999
- 1997
- [c8]Michael Sperber, Peter Thiemann, Herbert Klaeren:
Distributed partial evaluation. PASCO 1997: 80-87 - [c7]Peter Thiemann, Michael Sperber:
Program Generation with Class. GI Jahrestagung 1997: 582-591 - [c6]Michael Sperber, Peter Thiemann:
Two for the Price of One: Composing Partial Evaluation and Compilation. PLDI 1997: 215-225 - 1996
- [c5]Michael Sperber:
Self-Applicable Online Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 465-480 - [c4]Peter Thiemann, Michael Sperber:
Polyvariant Expansion and Compiler Generators. Ershov Memorial Conference 1996: 285-296 - [c3]Michael Sperber, Peter Thiemann:
Realistic Compilation by Partial Evaluation. PLDI 1996: 206-214 - [c2]Michael Sperber, Robert Glück, Peter Thiemann:
Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413 - 1995
- [c1]Michael Sperber, Peter Thiemann:
The Essence of LR Parsing. PEPM 1995: 146-155
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
