Matthew Flatt | Academic Influence

Matthew Flatt's AcademicInfluence.com Rankings

Matthew Flatt

Computer Science

#817

World Rank

#848

Historical Rank

Database

#2770

World Rank

#2894

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Matthew Flatt's Degrees

PhD Computer Science Rice University
Masters Computer Science Rice University
Bachelors Computer Science Rice University

Similar Degrees You Can Earn

Why Is Matthew Flatt Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Matthew Flatt is an American computer scientist and professor at the University of Utah School of Computing in Salt Lake City. He is also a member of the core development team for the Racket programming language.

(See a Problem?)

Matthew Flatt's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

PsyScope: An interactive graphic system for designing and controlling experiments in the psychology laboratory using Macintosh computers (1993) (2805)
Classes and mixins (1998) (505)
DrScheme: a programming environment for Scheme (2002) (333)
Semantics Engineering with PLT Redex (2009) (311)
Units: cool modules for HOT languages (1998) (266)
Jiazzi: new-age components for old-fasioned Java (2001) (204)
Modular object-oriented programming with units and mixins (1998) (198)
Languages as libraries (2011) (196)
How to design programs: an introduction to programming and computing (2001) (191)
A Programmer's Reduction Semantics for Classes and Mixins (1999) (185)
How to Design Programs (2001) (139)
Knit: component composition for systems software (2000) (134)
Composable and compilable macros:: you want it when? (2002) (126)
Run your research: on the effectiveness of lightweight mechanization (2012) (114)
PLT MzScheme: Language Manual (2000) (106)
DrScheme: A Pedagogic Programming Environment for Scheme (1997) (105)
The TeachScheme! Project: Computing and Programming for Every Student (2004) (104)
Catching bugs in the web of program invariants (1996) (103)
Jiazzi: New-Age Components for Old-Fashioned Java (2001) (93)
Chaperones and impersonators: run-time support for reasonable interposition (2012) (87)
A functional I/O system or, fun for freshman kids (2009) (82)
Modeling an Algebraic Stepper (2001) (77)
The DrScheme project: an overview (1998) (73)
Programming languages as operating systems (or revenge of the son of the lisp machine) (1999) (66)
The Racket Manifesto (2015) (65)
ProfessorJ: a gradual introduction to Java through language levels (2003) (62)
Scheme with Classes, Mixins, and Traits (2006) (60)
The structure and interpretation of the computer science curriculum (2004) (59)
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems (2004) (58)
Fine-grained interoperability through mirrors and contracts (2005) (57)
A programmable programming language (2018) (57)
Kill-safe synchronization abstractions (2004) (48)
Programming languages and lambda calculi (1989) (48)
The role of language paradigms in teaching programming (2003) (47)
Adding delimited and composable control to a production programming environment (2007) (42)
Super and inner: together at last! (2004) (39)
Precise garbage collection for C (2009) (39)
Towards Practical Gradual Typing (2015) (37)
Programming languages for reusable software components (2000) (36)
Creating Languages in Racket (2011) (35)
Scribble: closing the book on ad hoc documentation tools (2009) (35)
Semantic Casts: Contracts and Structural Subtyping in a Nominal World (2004) (33)
Binding as sets of scopes (2016) (33)
Slideshow: functional presentations (2004) (27)
From structures and functors to modules and units (2006) (27)
Advanced Macrology and the Implementation of Typed Scheme (2007) (26)
Honu: syntactic extension for algebraic notation through enforestation (2012) (26)
Migratory Typing: Ten Years Later (2017) (25)
Random testing for higher-order, stateful programs (2010) (24)
How to Design Programs: An Introduction to Computing and Programming (2006) (24)
Typing the Numeric Tower (2012) (22)
Back to the futures: incremental parallelization of existing sequential runtime systems (2010) (22)
Macros that Work Together (2012) (20)
The Racket virtual machine and randomized testing (2012) (19)
Lexer and Parser Generators in Scheme (2004) (17)
Memory accounting without partitions (2004) (17)
Syntactic abstraction in component interfaces (2005) (16)
Submodules in racket: you want it when, again? (2014) (16)
Fostering Little Languages (2004) (15)
Places: adding message-passing parallelism to racket (2011) (15)
Memory for Functions (2001) (13)
Creating languages in Racket (2012) (13)
Keeping it Clean with Syntax Parameters (2011) (12)
Composable and compilable macros: : you want it when? (2002) (12)
Extensible access control with authorization contracts (2016) (11)
Aspect Weaving as Component Knitting: Separating Concerns with Knit (2001) (9)
Compiling Java to PLT Scheme (2004) (9)
ABI compatibility through a customizable language (2010) (8)
Fine-grained interoperability through contracts and mirrors (2005) (8)
POP-PL: a patient-oriented prescription programming language (2015) (8)
Building Little Languages With Macros (2004) (7)
Medic: metaprogramming and trace-oriented debugging (2015) (7)
Static Debugging: Browsing the Web of Program Invariants (1996) (7)
PLT MrEd: Graphical Toolbox Manual (2006) (7)
Seeing the futures: profiling shared-memory parallel racket (2012) (6)
Mixing COP and OOP (2001) (5)
Reachability-Based Memory Accounting (2002) (5)
Rebuilding racket on chez scheme (experience report) (2019) (4)
Rash: from reckless interactions to reliable programs (2018) (4)
Compiler and runtime support for continuation marks (2020) (4)
Keyword and Optional Arguments in PLT Scheme (2009) (4)
Debugging with domain-specific events via macros (2017) (4)
Adapting Scheme-Like Macros to a C-Like Language (2011) (4)
Programming Languages and Lambda Calculi (Summer 2006 Revised Version) (2006) (4)
A Framework for Modular Linking in OO Languages (2006) (3)
Expressive Modular Linking for Object-Oriented Languages (2002) (2)
Source-to-Source Compilation via Submodules (2016) (2)
Plt framework: gui application framework (2000) (2)
From Macros to DSLs: The Evolution of Racket (2019) (2)
Distributed Places (2013) (1)
On the Effectiveness of Lightweight Mechanization (2012) (1)
The Loss of Knowledge (2001) (1)
UvA-DARE ( Digital Academic Repository ) Extensible Language Implementation with Object Algebras (2014) (1)
POP-PL (2018) (1)
SweetPea: A standard language for factorial experimental design (2020) (1)
How to Design Programs, 2e (2004) (1)
Java Component Development in Jiazzi (2001) (1)
Session details: Session 4 (2005) (0)
Runtime and compiler support for HAMTs (2021) (0)
SweetPea: A standard language for factorial experimental design (2021) (0)
Processing Arbitrarily Large Data (2001) (0)
Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages - Volume 8324 (2014) (0)
Honu : A syntactically extensible language (2011) (0)
Intermezzo 5: The Cost of Computing and Vectors (2001) (0)
Program Units as Higher-Order Modules (1998) (0)
Students, Teachers, and Computers (2001) (0)
Variations on a Theme (2001) (0)
Expressive Modular Linking for Object-Oriented Languages UUCS-02-014 (2002) (0)
Kill-Safe Synchronization Abstractions "Well, it just so happens that your friend here is only mostly dead. There's a big difference between mostly dead and all dead ." - Miracle Max in The Princess Bride (2004) (0)
Artifact: Rebuilding Racket on Chez Scheme (Experience Report) (2019) (0)
Mutually Referential Data Definitions (2001) (0)
Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (2014) (0)
More on Processing Lists (2001) (0)
Designing Accumulator-Style Functions (2001) (0)
Front Matter, Table of Contents (2020) (0)
JFP volume 20 issue 1 Cover and Back matter (2010) (0)
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (2017) (0)
Algorithms that Backtrack (2001) (0)
Intermezzo 6: The Nature of Inexact Numbers (2001) (0)
Intermezzo 7: The Final Syntax and Semantics (2001) (0)
Jiazzi : Powerful and Practical Java Components (2000) (0)
Functional Programming 1 EDUCATIONAL PEARL The Structure and Interpretation of the Computer Science Curriculum (2003) (0)
Source-to-Source Compilation in Racket You Want it in Which Language ? (2014) (0)
Slideshow: Racket Figure and Presentation Tools (2005) (0)
Intermezzo 4: Defining Functions on the Fly (2001) (0)
Why Compile Java to Scheme ? (0)
Designing Functions with Memory (2001) (0)
Composing Functions, Revisited Again (2001) (0)
Intermezzo 3: Local Definitions and Lexical Scope (2001) (0)
Changing Compound Values (2001) (0)
Examples of Memory Usage (2001) (0)
Scheme 2003: proceedings of the fourth workshop on scheme and functional programming (2003) (0)
Processing Simple Forms of Data (2001) (0)
Development through Iterative Refinement (2001) (0)
Designing Abstractions from Examples (2001) (0)
Designing Abstractions with First-Class Functions (2001) (0)
Changong Structures, Vectors, and Objects (2001) (0)
Intermezzo 2: List Abbreviations (2001) (0)
Assignments to Variables (2001) (0)
The Varieties of Data (2001) (0)
Artifact (2019) (0)
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee (2016) (0)
Journal of Functional Programming: Preface (2007) (0)
Designing Functions that Change Structures (2001) (0)
E D U C A T I O N A L P E A R L The structure and interpretation of the computer science curriculum (2004) (0)
CpU: practical components for systems software (2000) (0)
Programs are Function Plus Variable Definitions (2001) (0)
PLT Scheme Scene Graph : An Application of Mixin for Construction of Graphics Scene Data Structure (2012) (0)
Replication Package for Article: Compiler and Runtime Support for Continuation Marks (2020) (0)
53 Compiling Java to PLT Scheme (2004) (0)
Similarities in Definitions (2001) (0)
Racket’s intermediate language for control (invited talk) (2020) (0)
Compound Data, Part 1: Structures (2001) (0)
Numbers, Expressions, Simple Programs (2001) (0)
More Self-referential Data Definitions (2001) (0)
Processing Two Complex Pieces of Data (2001) (0)
Changing the State of Variables (2001) (0)
Intermezzo 1: Syntax and Semantics (2001) (0)
More on Processing Arbitrarily Large Data (2001) (0)
Preface (2007) (0)
Practical Aspects of Declarative Languages (2014) (0)
Functions are Values (2001) (0)
More Uses of Accumulation (2001) (0)
Session details: Programming languages (2007) (0)
A New Form of Recursion (2001) (0)
Conditional Expressions and Functions (2001) (0)
Intermediate Representation - ACM Queue (2014) (0)

This paper list is powered by the following services:

Other Resources About Matthew Flatt

en.wikipedia.org

What Schools Are Affiliated With Matthew Flatt?

Matthew Flatt is affiliated with the following schools: