57
Publications
6.7K
Citations
33
H-Index
1993
Active since
Matthew Flatt is an author at University of Utah specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware EngineeringSoftware AnalysisFormal MethodsSoftware DesignSystem SoftwareFormal VerificationComputer Engineering
Publications per year
1993–2018
57
57
Jonathan Cohen, Brian MacWhinney, Matthew Flatt et al. · Behavior Research Methods, Instruments, & Computers · 1993 · 2.8K citations · Full text
Interactive Visualization, Cognitive Science, Engineering +14
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen · 1998 · 459 citations · Full text
Revised<sup>6</sup> Report on the Algorithmic Language Scheme
Michael Sperber, R. Kent Dybvig, Matthew Flatt et al. · Journal of Functional Programming · 2009 · 325 citations · Full text
DrScheme: a programming environment for Scheme
Robert Bruce Findler, John Clements, Cormac Flanagan et al. · Journal of Functional Programming · 2002 · 309 citations
Matthew Flatt, Matthias Felleisen · 1998 · 233 citations
Rows per page
1–5 of 57