WebbI initiated the Glasgow 2’nd year course and Edinburgh 1’st year course. Denotational semantics (G oteborg), 4’th year. Type theory (Glasgow, Edinburgh), 4’th year. I initiated the Glasgow course. Mathematical foundations (Glasgow), 1’st year. Compilers (Glasgow), 2’nd year. Computing and Society (Glasgow), 1’st year and MSc. WebbProfessor Phil Trinder Professor Trinder's research interest is in designing, implementing, and evaluating high-level distributed and parallel programming models. Functional languages are a particular focus, so parallel Haskells, Erlang and friends. Professor Wim Vanderbauwhede
Phil Tanner - Wikipedia
WebbKenneth MacKenzie, Natalia Chechina, and Phil Trinder. 2015. Performance portability through semi-explicit placement in distributed Erlang. In Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. ACM, 27--38. Google Scholar Digital Library; Jeff Matocha and Tracy Camp. 1998. A taxonomy of distributed termination detection algorithms. J. … Webb24 aug. 2024 · Ruairidh Macgregor University of Glasgow, Phil Trinder University of Glasgow, Hans-Wolfgang Loidl Heriot-Watt University, UK. 18:00 - 19:30. Session 2 HOPE at HOPE. 18:00. 30m. Talk. The Functional Machine Calculus. HOPE. Willem Heijltjes University of Bath. 18:30. 30m. great stuffing
Trinder - Wikipedia
Webb8 nov. 2024 · Systems Programming (SP) lecture 6 as taught by Dr. Phil Trinder University University of Glasgow Module Systems Programming (COMPSCI 4081) Academic year … WebbProfessor Phil Trinder Professor of Computing Science (Computing Science) telephone: 01413303627 email: [email protected] School of Computing Science, Sir … Webb8 mars 2024 · Phil Trinder currently works at the School of Computing Science, University of Glasgow. Phil does research in Distributed and Parallel Computing. Skills and … great stuff insulation foam sds