Jump to content

Matthew Flatt: Difference between revisions

Add links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
m v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation)
Citation bot (talk | contribs)
Bots
5,271,848 edits
Alter: title, journal, template type. Add: volume, chapter-url, chapter, authors 1-1. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 370/748
 
Line 1: Line 1:
'''Matthew Flatt''' is an American computer scientist and professor at the [[University of Utah School of Computing]] in [[Salt Lake City]].<ref>[http://www.cs.utah.edu/people/faculty/ University of Utah Computer Science faculty listing], retrieved 2015-02-16.</ref> He is also the leader of the core development team for the [[Racket (programming language)|Racket programming language]].<ref>[http://www.racket-lang.org/people.html Racket: People], retrieved 2012-06-22.</ref>
'''Matthew Flatt''' is an American computer scientist and professor at the [[University of Utah School of Computing]] in [[Salt Lake City]].<ref>[http://www.cs.utah.edu/people/faculty/ University of Utah Computer Science faculty listing], retrieved 2015-02-16.</ref> He is also the leader of the core development team for the [[Racket (programming language)|Racket programming language]].<ref>[http://www.racket-lang.org/people.html Racket: People], retrieved 2012-06-22.</ref>


Flatt received his PhD at [[Rice University]] in 1999, under the direction of [[Matthias Felleisen]].<ref>{{mathgenealogy|id=113750}}</ref> His dissertation is on the mechanics of first-class modules and [[mixin]] classes. His work triggered research in the [[ML (programming language)|ML]] community on mutually recursive modules and in the [[object-oriented]] community on mixins and traits<ref>{{Cite journal |last=Flatt |first=Matthew |last2=Findler |first2=Robert Bruce |last3=Felleisen |first3=Matthias |date=2006-11-08 |title=Scheme with classes, mixins, and traits |url=https://doi.org/10.1007/11924661_17 |journal=Proceedings of the 4th Asian conference on Programming Languages and Systems |series=APLAS'06 |location=Berlin, Heidelberg |publisher=Springer-Verlag |pages=270–289 |doi=10.1007/11924661_17 |isbn=978-3-540-48937-5}}</ref><ref>{{Cite journal |last=Flatt |first=Matthew |last2=Krishnamurthi |first2=Shriram |last3=Felleisen |first3=Matthias |date=1998-01-21 |title=Classes and mixins |url=https://dl.acm.org/doi/10.1145/268946.268961 |journal=Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |series=POPL '98 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=171–183 |doi=10.1145/268946.268961 |isbn=978-0-89791-979-1}}</ref><ref>{{Cite journal |last=Flatt |first=Matthew |last2=Felleisen |first2=Matthias |date=1998-05-01 |title=Units: cool modules for HOT languages |url=https://dl.acm.org/doi/10.1145/277650.277730 |journal=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation |series=PLDI '98 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=236–248 |doi=10.1145/277650.277730 |isbn=978-0-89791-987-6}}</ref>
Flatt received his PhD at [[Rice University]] in 1999, under the direction of [[Matthias Felleisen]].<ref>{{mathgenealogy|id=113750}}</ref> His dissertation is on the mechanics of first-class modules and [[mixin]] classes. His work triggered research in the [[ML (programming language)|ML]] community on mutually recursive modules and in the [[object-oriented]] community on mixins and traits<ref>{{Cite book |last1=Flatt |first1=Matthew |last2=Findler |first2=Robert Bruce |last3=Felleisen |first3=Matthias |chapter=Scheme with Classes, Mixins, and Traits |date=2006-11-08 |title=Programming Languages and Systems |chapter-url=https://doi.org/10.1007/11924661_17 |journal=Proceedings of the 4th Asian Conference on Programming Languages and Systems |series=APLAS'06 |volume=4279 |location=Berlin, Heidelberg |publisher=Springer-Verlag |pages=270–289 |doi=10.1007/11924661_17 |isbn=978-3-540-48937-5}}</ref><ref>{{Cite book |last1=Flatt |first1=Matthew |last2=Krishnamurthi |first2=Shriram |last3=Felleisen |first3=Matthias |chapter=Classes and mixins |date=1998-01-21 |title=Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 |chapter-url=https://dl.acm.org/doi/10.1145/268946.268961 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=171–183 |doi=10.1145/268946.268961 |isbn=978-0-89791-979-1}}</ref><ref>{{Cite book |last1=Flatt |first1=Matthew |last2=Felleisen |first2=Matthias |chapter=Units: Cool modules for HOT languages |date=1998-05-01 |title=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation |chapter-url=https://dl.acm.org/doi/10.1145/277650.277730 |series=PLDI '98 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=236–248 |doi=10.1145/277650.277730 |isbn=978-0-89791-987-6}}</ref>


Flatt served as one of four editors of the Revised^6 Report on the [[Scheme (programming language)|Scheme]] programming language. The report is influenced by his design of [[Racket (programming language)|Racket]], especially the module system, the exception system, the record system, the macro system, and library links.<ref>{{Cite book |last=Flatt |first=Matthew |title=Proceedings of the seventh ACM SIGPLAN international conference on Functional programming |chapter=Composable and compilable macros |date=2002-09-17 |chapter-url=https://doi.org/10.1145/581478.581486 |series=ICFP '02 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=72–83 |doi=10.1145/581478.581486 |isbn=978-1-58113-487-2|s2cid=2203273 }}</ref>
Flatt served as one of four editors of the Revised^6 Report on the [[Scheme (programming language)|Scheme]] programming language. The report is influenced by his design of [[Racket (programming language)|Racket]], especially the module system, the exception system, the record system, the macro system, and library links.<ref>{{Cite book |last=Flatt |first=Matthew |title=Proceedings of the seventh ACM SIGPLAN international conference on Functional programming |chapter=Composable and compilable macros |date=2002-09-17 |chapter-url=https://doi.org/10.1145/581478.581486 |series=ICFP '02 |location=New York, NY, USA |publisher=Association for Computing Machinery |pages=72–83 |doi=10.1145/581478.581486 |isbn=978-1-58113-487-2|s2cid=2203273 }}</ref>

Latest revision as of 08:31, 12 August 2024

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

[edit]
  1. ^ University of Utah Computer Science faculty listing, retrieved 2015-02-16.
  2. ^ Racket: People, retrieved 2012-06-22.
  3. ^ Matthew Flatt at the Mathematics Genealogy Project
  4. ^ Flatt, Matthew; Findler, Robert Bruce; Felleisen, Matthias (2006-11-08). "Scheme with Classes, Mixins, and Traits". Programming Languages and Systems. APLAS'06. Vol. 4279. Berlin, Heidelberg: Springer-Verlag. pp. 270–289. doi:10.1007/11924661_17. ISBN 978-3-540-48937-5. {{cite book}}: |journal= ignored (help)
  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. pp. 171–183. doi:10.1145/268946.268961. ISBN 978-0-89791-979-1.
  6. ^ 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. pp. 236–248. doi:10.1145/277650.277730. ISBN 978-0-89791-987-6.
  7. ^ 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.
  8. ^ "Programming Languages Software Award". www.sigplan.org. Retrieved 2024-02-12.
  9. ^ "Program by Design". programbydesign.org. Retrieved 2024-02-12.
  10. ^ "Bootstrap: Community". www.bootstrapworld.org. Retrieved 2024-02-12.
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Matthew_Flatt&oldid=1239899224"