Tom Smeding
- Comparing Parallel Functional Array Languages: Programming and Performance
2025/05/13 by David van Balen, Tiziano De Matteis, van Balen, David +31 · 7 voices · 1 citation
Computer Science · #Embedded Systems Design Techniques #Cellular Automata and Applications #Parallel Computing and Optimization Techniques
- CHAD: Combinatory Homomorphic Automatic Differentiation
2021/03/29 by Matthijs Vákár, Vákár, Matthijs, Tom Smeding +1 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)