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) - 01:46, 19 August 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
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
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,265 words) - 13:57, 28 August 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) - 01:39, 7 August 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
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) - 08:07, 16 August 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) - 01:54, 29 July 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;...
33 KB (3,904 words) - 10:36, 17 August 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
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
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
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
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) - 03:20, 31 July 2024
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
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 (468 words) - 08:31, 12 August 2024
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
20 KB (1,761 words) - 17:22, 27 August 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
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
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:58, 19 August 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
that allows for values that are one of multiple different data types Felleisen, Matthias (2001). How To Design Programs. MIT Press. pp. 53, 60. ISBN 978-0262062183...
22 KB (2,827 words) - 05:37, 30 July 2024
John C. Reynolds, and other chapters from Christopher Strachey, Matthias Felleisen, Stephen Weeks, Albert R. Meyer, Kurt Sieber, Vipin Swarup, Uday S. Reddy...
42 KB (3,536 words) - 04:04, 27 August 2024
of KDE and LyX Matthias Fekl (born 1977), French politician Matthias Felleisen, programming languages researcher Matthias Frings, German writer and journalist...
7 KB (651 words) - 18:11, 17 August 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