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...
7 KB (495 words) - 00:06, 22 June 2024
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...
35 KB (3,205 words) - 22:07, 28 April 2024
Gordon Plotkin introduced the structural operational semantics, Matthias Felleisen and Robert Hieb the reduction semantics, and Gilles Kahn the natural semantics...
19 KB (2,561 words) - 11:41, 24 April 2024
can be found in Carolyn Talcott's Stanford 1984 dissertation, Felleisen et al., Felleisen's 1987 dissertation, and algorithms for functional backtracking...
21 KB (2,261 words) - 03:36, 23 June 2024
essential language constructs and syntactic sugar, in 1991, Matthias Felleisen proposed a codification of "expressive power" to align with "widely held...
18 KB (1,923 words) - 20:00, 20 June 2024
A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman that implements left-to-right call by value. It is generally...
16 KB (1,846 words) - 11:56, 9 July 2024
"PHP: Function arguments - Manual » Strict typing". Tobin-Hochstadt, Sam; Felleisen, Matthias. "Interlanguage Migration: From Scripts to Programs". Proceedings...
10 KB (1,108 words) - 18:34, 11 July 2024
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...
32 KB (3,907 words) - 17:46, 2 July 2024
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...
32 KB (4,392 words) - 17:16, 29 June 2024
www.braveclojure.com. Retrieved 2020-10-21. Felleisen et al. 2001, art V "Generative Recursion Felleisen, Matthias (2002). "Developing Interactive Web...
60 KB (7,257 words) - 20:08, 23 July 2024
received his PhD at Rice University in 1999, under the direction of Matthias Felleisen. His dissertation is on the mechanics of first-class modules and mixin...
5 KB (465 words) - 08:25, 19 February 2024
each argument must halt immediately. ANF was introduced by Sabry and Felleisen in 1992 as a simpler alternative to continuation-passing style (CPS)....
4 KB (440 words) - 00:32, 22 April 2024
Software, 56(1):91–99, February 2001. doi:10.1016/S0164-1212(00)00089-3 Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram;...
32 KB (3,805 words) - 16:51, 23 July 2024
semantics used to specify a language. In 1994, Andrew Wright and Matthias Felleisen formulated what has become the standard definition and proof technique...
28 KB (3,647 words) - 19:36, 8 July 2024
Annual ACM Symposium on Principles of Programming Languages. pp. 71–84. Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram...
10 KB (1,081 words) - 12:05, 17 July 2024
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
19 KB (1,754 words) - 02:16, 18 July 2024
How to Design Programs (HtDP) is a textbook by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi on the systematic design...
6 KB (754 words) - 12:43, 23 May 2023
for defining programming languages; with Eugene Kohlbecker, Matthias Felleisen, and Bruce Duba, he co-introduced the notion of hygienic macros in a 1986...
5 KB (490 words) - 23:50, 5 May 2024
his Ph.D. at Rice University in 2000, under the direction of Matthias Felleisen. His dissertation is on linguistic reuse and macro systems in the presence...
6 KB (340 words) - 20:46, 8 July 2024
from the original on 26 April 2021. Retrieved 20 January 2016. Findler, Felleisen Contracts for Higher-Order Functions "Scala Standard Library Docs - Assertions"...
21 KB (2,108 words) - 16:09, 6 May 2024
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
14 KB (1,713 words) - 16:13, 12 March 2024
JDK Server was used for Java, and Smalltalk GST was used for Smalltalk. Felleisen, Matthias. On the Expressive Power of Programming Languages. ESOP '90...
70 KB (1,469 words) - 09:22, 2 July 2024
programming languages through an undergraduate research project with Matthias Felleisen. She moved to Cornell University for her graduate studies, completing...
2 KB (191 words) - 09:25, 9 July 2024
of KDE and LyX Matthias Fekl (born 1977), French politician Matthias Felleisen, programming languages researcher Matthias Frings, German writer and journalist...
7 KB (645 words) - 05:16, 24 May 2024
The journeyman carried his belongings in a leather backpack called the Felleisen, but some medieval towns, Charlottenburg probably having been the first...
17 KB (2,157 words) - 09:02, 22 June 2024
Programming Languages. MIT Press. ISBN 0-262-16209-1. Wright, Andrew K.; Felleisen, Matthias (1994). "A Syntactic Approach to Type Soundness". Information...
28 KB (3,290 words) - 00:04, 15 July 2024
memories, 1964–2013" (PDF). TUGboat. 35 (1). Krishnamurthi, Shriram; Felleisen, Matthias; Duba, Bruce F. (2000). "From Macros to Reusable Generative...
20 KB (1,676 words) - 05:19, 28 June 2024
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
13 KB (1,570 words) - 11:09, 18 September 2022
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
16 KB (1,409 words) - 06:08, 9 May 2024
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
5 KB (456 words) - 22:13, 12 April 2024