-
Matthias Felleisen is a German-American
computer science professor and author. He grew up in
Germany and
immigrated to the US in his twenties. He received...
- by the
community may be
uploaded to Racket's
package catalog.
Matthias Felleisen founded PLT Inc. in the mid 1990s,
first as a
research group, soon after...
-
Gordon Plotkin introduced the
structural operational semantics,
Matthias Felleisen and
Robert Hieb the
reduction semantics, and
Gilles Kahn the
natural semantics...
- 2014: Neil D.
Jones 2013:
Patrick Cousot and
Radhia Cousot 2012:
Matthias Felleisen 2011: Tony ****e 2010:
Gordon Plotkin 2009: Rod
Burstall 2008: Barbara...
- Software, 56(1):91–99,
February 2001. doi:10.1016/S0164-1212(00)00089-3
Felleisen, Matthias; Findler,
Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram;...
- can be
found in
Carolyn Talcott's
Stanford 1984 dissertation,
Felleisen et al.,
Felleisen's 1987 dissertation, and
algorithms for
functional backtracking...
-
transformation of let into the
application of a
function to a set of arguments.
Felleisen conjectures that
these three categories make up the
primary legitimate...
- www.braveclojure.com.
Retrieved 2020-10-21.
Felleisen et al. 2001, art V "Generative
Recursion Felleisen,
Matthias (2002). "Developing
Interactive Web...
- each
argument must halt immediately. ANF was
introduced by
Sabry and
Felleisen in 1992 as a
simpler alternative to continuation-p****ing
style (CPS)....
- expressions". The
Computer Journal. 6 (4): 308–320. doi:10.1093/comjnl/6.4.308.
Felleisen,
Matthias (1987). The Lambda-v-CS Calculus.
Indiana University. Talcott...
