Simon Peyton Jones
- Instructions and Guide for Diagnostic Questions: The NeurIPS 2020 Education Challenge
2020/07/23 by Zichao Wang, Angus Lamb, Wang, Zichao +21 · 1 voice · 11 citations
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #Computers and Society (cs.CY) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Intelligent Tutoring Systems and Adaptive Learning #Machine Learning (cs.LG) #Machine Learning and Algorithms #cs.CY #cs.HC #cs.LG
- Abstracting Denotational Interpreters
2024/03/05 by Sebastian Graf, Graf, Sebastian, Simon Peyton Jones +3 · 3 voices
Computer Science · #Natural Language Processing Techniques
- A history of Haskell
2007/06/06 by Paul Hudak, John Hughes, Simon Peyton Jones +1 · 1 voice · 3 citations
Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Advanced Malware Detection Techniques
- Linear Haskell: practical linearity in a higher-order polymorphic language
2017/10/31 by Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton +2 · 1 voice · 2 citations
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Security and Verification in Computing
- Hashing Modulo Alpha-Equivalence
2021/05/06 by Krzysztof Maziarz, Maziarz, Krzysztof, T. M. R. Ellis +7 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge
2021/04/08 by Zichao Wang, Wang, Zichao, Angus Lamb +21 · 2 citations
Medicine · #Computers and Society (cs.CY) #FOS: Computer and information sciences #Glioma Diagnosis and Treatment #Human-Computer Interaction (cs.HC)
- Type variables in patterns
2018/06/09 by Richard A. Eisenberg, Eisenberg, Richard A., Joachim Breitner +3 · 1 voice
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Distributed and Parallel Computing Systems #Scientific Computing and Data Management #cs.PL