基本信息
views: 447
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
I’m interested in the design, implementation, and application of lazy functional languages. In practical terms, that means I spend a most of my time on the design and implementation of the language Haskell. In particular, much of my work is focused around the Glasgow Haskell Compiler, and its ramifications.
I am chair of Computing at School, the group at the epicentre of the reform of the national curriculum for Computing in England. Computer science is now a foundational subject, alongside maths and natural science, that every child learns from primary school onwards.
I am chair of Computing at School, the group at the epicentre of the reform of the national curriculum for Computing in England. Computer science is now a foundational subject, alongside maths and natural science, that every child learns from primary school onwards.
Research Interests
Papers共 601 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2024)
Cited0Views0EIBibtex
0
0
Lennart Augustsson,Joachim Breitner,Koen Claessen,Ranjit Jhala,Simon Peyton Jones,Olin Shivers,Guy L. Steele Jr.,Tim Sweeney
Proceedings of the ACM on Programming Languagesno. ICFP (2023): 417-447
Molecular Genetics and Metabolismno. 2 (2023): 115-115
Molecular Genetics and Metabolismno. 2 (2023): 107349-107349
IEEE Robotics and Automation Lettersno. 8 (2023): 4729-4736
user-61442502e55422cecdaf6898(2022)
Cited0Views0Bibtex
0
0
Proceedings of the ACM on Programming Languagesno. POPL (2022): 1-30
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn