Matthew Flatt
Matthew Flatt is an American computer scientist and professor at the University of Utah School of Computing in Salt Lake City.[1] He is also the leader of the core development team for the Racket programming language.[2]
Flatt received his PhD at Rice University in 1999, under the direction of Matthias Felleisen.[3] His dissertation is on the mechanics of first-class modules and mixin classes. His work triggered research in the ML community on mutually recursive modules and in the object-oriented community on mixins and traits[4][5][6]
Flatt served as one of four editors of the Revised^6 Report on the Scheme programming language. The report is influenced by his design of Racket, especially the module system, the exception system, the record system, the macro system, and library links.[7]
In 2018, Flatt received the ACM SIGPLAN's Programming Languages Software Award (jointly with the Racket core team).[8] The citation highlights Racket's singular significance both in research and education. The research part refers to its powerful macro system, which is integrated with its novel module system. Other impacts, for example cited in the Revised^6 Report on Scheme, concern Racket's exception system and its resource management subsystem. The education aspect is about the TeachScheme! (also known as Program by Design)[9] project, which over decades morphed into the Bootstrap[10] curriculum.
References
- ^ University of Utah Computer Science faculty listing, retrieved 2015-02-16.
- ^ Racket: People, retrieved 2012-06-22.
- ^ Matthew Flatt at the Mathematics Genealogy Project
- ^ Flatt, Matthew; Findler, Robert Bruce; Felleisen, Matthias (2006-11-08). "Scheme with classes, mixins, and traits". Proceedings of the 4th Asian conference on Programming Languages and Systems. APLAS'06. Berlin, Heidelberg: Springer-Verlag: 270–289. doi:10.1007/11924661_17. ISBN 978-3-540-48937-5.
- ^ Flatt, Matthew; Krishnamurthi, Shriram; Felleisen, Matthias (1998-01-21). "Classes and mixins". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '98. New York, NY, USA: Association for Computing Machinery: 171–183. doi:10.1145/268946.268961. ISBN 978-0-89791-979-1.
- ^ Flatt, Matthew; Felleisen, Matthias (1998-05-01). "Units: cool modules for HOT languages". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. PLDI '98. New York, NY, USA: Association for Computing Machinery: 236–248. doi:10.1145/277650.277730. ISBN 978-0-89791-987-6.
- ^ Flatt, Matthew (2002-09-17). "Composable and compilable macros". Proceedings of the seventh ACM SIGPLAN international conference on Functional programming. ICFP '02. New York, NY, USA: Association for Computing Machinery. pp. 72–83. doi:10.1145/581478.581486. ISBN 978-1-58113-487-2. S2CID 2203273.
- ^ "Programming Languages Software Award". www.sigplan.org. Retrieved 2024-02-12.
- ^ "Program by Design". programbydesign.org. Retrieved 2024-02-12.
- ^ "Bootstrap: Community". www.bootstrapworld.org. Retrieved 2024-02-12.