2014 - ACM Distinguished Member
The scientist’s investigation covers issues in Programming language, Mixin, Theoretical computer science, Scheme and Class. His research related to Java, Parsing, Lisp, Compiler and Macro might be considered part of Programming language. His Mixin research includes themes of Control and Dynamic compilation.
The study of Theoretical computer science is intertwined with the study of Semantics in a number of ways. He has researched Scheme in several fields, including Fifth-generation programming language, Syntax and High-level programming language. His Class study also includes fields such as
Matthew Flatt spends much of his time researching Programming language, Scheme, Racket, Macro and Theoretical computer science. His works in Debugging, Compiler, Object-oriented programming, Component and Class are all subjects of inquiry into Programming language. His work in Object-oriented programming covers topics such as Inheritance which are related to areas like Java.
His biological study deals with issues like Context, which deal with fields such as Soundness. Within one scientific family, Matthew Flatt focuses on topics pertaining to Semantics under Scheme, and may sometimes address concerns connected to Rewriting. He interconnects Syntax, First-generation programming language, Programmer and Domain-specific language in the investigation of issues within Macro.
His primary areas of investigation include Programming language, Racket, Debugging, Macro and Artificial intelligence. His work is dedicated to discovering how Programming language, Constructed language are connected with Usability and other disciplines. His study in Debugging is interdisciplinary in nature, drawing from both Visualization and Metaprogramming.
His Macro course of study focuses on Syntax and Domain-specific language. His Artificial intelligence research incorporates themes from Standard language and Natural language processing. His work carried out in the field of Gradual typing brings together such families of science as Class, Object-oriented programming and Soundness.
His scientific interests lie mostly in Programming language, Racket, Gradual typing, Software and Set. Matthew Flatt conducts interdisciplinary study in the fields of Programming language and Design elements and principles through his research. Many of his Racket research pursuits overlap with Language primitive, Fourth-generation programming language, Very high-level programming language and First-generation programming language.
His Gradual typing study combines topics in areas such as Class, Object-oriented programming, Soundness and Code. His work deals with themes such as Extensibility and Role-based access control, Computer access control, Access control, which intersect with Software. Matthew Flatt combines subjects such as Variable, Theoretical computer science, Macro, Algorithm and Scope with his study of Set.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Classes and mixins
Matthew Flatt;Shriram Krishnamurthi;Matthias Felleisen.
symposium on principles of programming languages (1998)
Classes and mixins
Matthew Flatt;Shriram Krishnamurthi;Matthias Felleisen.
symposium on principles of programming languages (1998)
Semantics Engineering with PLT Redex
Matthias Felleisen;Robert Bruce Findler;Matthew Flatt.
(2009)
Semantics Engineering with PLT Redex
Matthias Felleisen;Robert Bruce Findler;Matthew Flatt.
(2009)
DrScheme: a programming environment for Scheme
Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt.
Journal of Functional Programming (2002)
DrScheme: a programming environment for Scheme
Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt.
Journal of Functional Programming (2002)
Units: cool modules for HOT languages
Matthew Flatt;Matthias Felleisen.
programming language design and implementation (1998)
Units: cool modules for HOT languages
Matthew Flatt;Matthias Felleisen.
programming language design and implementation (1998)
How to Design Programs
Shriram Krishnamurthi;Robert Bruce Findler;Matthias Felleisen;Matthew Flatt.
(2001)
How to Design Programs
Shriram Krishnamurthi;Robert Bruce Findler;Matthias Felleisen;Matthew Flatt.
(2001)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Northeastern University
Brown University
Northwestern University
University of California, Santa Cruz
Northwestern University
Princeton University
University of Pennsylvania
University of Utah
Xidian University
IBM (United States)
University of Barcelona
Weizmann Institute of Science
University of Arkansas at Fayetteville
Jackson State University
Nagoya University
McGill University
University of Ulm
University of Maryland, Baltimore
Curtin University
Golder Associates (Canada)
University of Fribourg
Emory University
Nagoya University
University of Cambridge