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) - 07:24, 13 September 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,213 words) - 00:42, 8 November 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,279 words) - 12:10, 2 September 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
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,881 words) - 10:58, 21 October 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) - 21:16, 13 September 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) - 18:37, 18 October 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) - 15:31, 24 September 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,402 words) - 23:13, 4 November 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) - 13:33, 17 September 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
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) - 03:32, 25 September 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) - 08:02, 1 October 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) - 03:20, 31 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) - 09:30, 2 November 2024
of KDE and LyX Matthias Fekl (born 1977), French politician Matthias Felleisen, programming languages researcher Matthias Frings, German writer and journalist...
7 KB (661 words) - 21:14, 2 November 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
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
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,281 words) - 03:14, 17 October 2024
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
9 KB (673 words) - 11:43, 7 September 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
Edmund Berkeley Daniel G. Bobrow William Clinger R. Kent Dybvig Matthias Felleisen Robert Bruce Findler Matthew Flatt Phyllis Fox Paul Graham Richard Greenblatt...
33 KB (3,865 words) - 02:43, 19 October 2024
Theoretical Computer Science. 1 (2): 125–159. doi:10.1016/0304-3975(75)90017-1. Felleisen, Matthias; Friedman, Daniel (1986). Control Operators, the SECD Machine...
18 KB (1,921 words) - 10:03, 22 September 2023
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) - 06:04, 1 October 2024
ISBN 978-0-7204-2208-5. Dominus, Mark Jason. Higher-Order Perl. Morgan Kaufmann. 2005. Felleisen, Matthias; Findler, Robert; Flatt, Matthew; Krishnamurthi, Shriram (2018)...
86 KB (8,590 words) - 07:28, 2 November 2024