Edit Profile Trinder, Phil W. Compute Distance To: Compute Author ID: trinder.phil-w Published as: Trinder, P.; Trinder, P. W.; Trinder, Phil; Trinder, Phil W. Documents Indexed: 19 Publications since 1998, including 4 Books all top 5 Co-Authors 0 single-authored 8 Loidl, Hans-Wolfgang 4 Hammond, Kevin 3 Michaelson, Greg 3 Pointon, Robert F. 2 Baker-Finch, Clem 2 Loogen, Rita 2 Peña, Ricardo 2 Priebe, Steffen 1 Al Zain, Abdallah 1 Brown, Courtney J. 1 Chechina, Natalia 1 Cole, Murray 1 Du Bois, André Rauber 1 Horiguchi, Susumu 1 Horn, Paul S. 1 Jun, Yang 1 Junaidu, Sahalu B. 1 King, David J. 1 King, Peter J. B. 1 Klusik, Ulrike 1 Konovalov, Aleksandr Yur’evich 1 Lindley, Sam 1 Linton, Steven 1 Maier, Patrick 1 McBride, Conor Thomas 1 Michaelson, G. J. 1 Payton Jones, S. L. 1 Rebón, Á. J. 1 Roozemond, Danko A. 1 Rubio, Fernando 1 Sannella, Don 1 Sarafis, Ioannis 1 Scaife, Norman 1 Stewart, Robert W. 1 Zalzala, Ali M. S. all top 5 Serials 3 Journal of Functional Programming 3 Lecture Notes in Computer Science 1 The Computer Journal. Section A / Section B 1 Information Sciences 1 Journal of Symbolic Computation 1 Journal of Parallel and Distributed Computing 1 Higher-Order and Symbolic Computation Fields 17 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 9 Publications have been cited 30 times in 27 Documents Cited by ▼ Year ▼ Algorithm + strategy = parallelism. Zbl 0933.68033Trinder, P. W.; Hammond, K.; Loidl, H.-W.; Payton Jones, S. L. 14 1998 An operational semantics for parallel lazy evaluation. Zbl 1321.68135Baker-Finch, Clem; King, David J.; Trinder, Phil 5 2000 Explaining polymorphic types. Zbl 1037.68019Jun, Yang; Michaelson, Greg; Trinder, Phil 3 2002 Transparent fault tolerance for scalable functional computation. Zbl 1420.68026Stewart, Robert; Maier, Patrick; Trinder, Phil 2 2016 Parallel and distributed Haskells. Zbl 1037.68026Trinder, P. W.; Loidl, H.-W.; Pointon, R. F. 2 2002 Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D. 1 2013 Redundant movements in autonomous mobility: experimental and theoretical analysis. Zbl 1225.68037Chechina, Natalia; King, Peter; Trinder, Phil 1 2011 Comparing parallel functional languages: Programming and performance. Zbl 1074.68541Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W. 1 2003 The design and implementation of Glasgow distributed Haskell. Zbl 0977.68764Pointon, R. F.; Trinder, P. W.; Loidl, H.-W. 1 2001 Transparent fault tolerance for scalable functional computation. Zbl 1420.68026Stewart, Robert; Maier, Patrick; Trinder, Phil 2 2016 Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D. 1 2013 Redundant movements in autonomous mobility: experimental and theoretical analysis. Zbl 1225.68037Chechina, Natalia; King, Peter; Trinder, Phil 1 2011 Comparing parallel functional languages: Programming and performance. Zbl 1074.68541Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W. 1 2003 Explaining polymorphic types. Zbl 1037.68019Jun, Yang; Michaelson, Greg; Trinder, Phil 3 2002 Parallel and distributed Haskells. Zbl 1037.68026Trinder, P. W.; Loidl, H.-W.; Pointon, R. F. 2 2002 The design and implementation of Glasgow distributed Haskell. Zbl 0977.68764Pointon, R. F.; Trinder, P. W.; Loidl, H.-W. 1 2001 An operational semantics for parallel lazy evaluation. Zbl 1321.68135Baker-Finch, Clem; King, David J.; Trinder, Phil 5 2000 Algorithm + strategy = parallelism. Zbl 0933.68033Trinder, P. W.; Hammond, K.; Loidl, H.-W.; Payton Jones, S. L. 14 1998 all cited Publications top 5 cited Publications all top 5 Cited by 60 Authors 2 Fluet, Matthew T. 2 Hidalgo-Herrero, Mercedes 2 Horstmeyer, Thomas 2 Loogen, Rita 2 Ortega-Mallén, Yolanda 2 Rainey, Mike 2 Reppy, John H. 2 Schmidt-Schauß, Manfred 2 Shaw, Adam 2 Trinder, Phil W. 1 Abel, Andreas M. 1 Achten, Peter 1 Bergström, Lars B. 1 Berthold, Jost 1 Blelloch, Guy E. 1 Brandt, Jorgen 1 Breitner, Joachim 1 Chechina, Natalia 1 de Carvalho Junior, Francisco Heron 1 Dieterle, M. 1 el Boustani, Nabil 1 Gibbons, Phillip B. 1 Goodloe, Alwyn E. 1 Grov, Gudmund 1 Hage, Jurriaan 1 Hansen, Michael Reichhardt 1 Harper, Robert 1 Horváth, Zoltán 1 Johann, Patricia 1 Kamareddine, Fairouz D. 1 King, Peter J. B. 1 Koopman, Pieter 1 Leser, Ulf 1 Lins, Rafael Dueire 1 Maier, Patrick 1 Mann, Matthias 1 Michaelson, Greg 1 Minimair, Manfred 1 Miyamoto, Atsushi 1 Morazán, Marco T. 1 Nakahira, Kenji 1 Pérez, Iván L. 1 Phan, Anh-Dung 1 Pirie, John 1 Plasmeijer, Rinus 1 Rabanal, Pablo 1 Rahli, Vincent 1 Reisig, Wolfgang 1 Rodríguez, Ismael 1 Rubio, Fernando 1 Sabel, David 1 Serrarens, Pascal R. 1 Spoonhower, Daniel 1 Stewart, Robert W. 1 van Eekelen, Marko 1 Verdejo, Alberto 1 Voigtlander, Janis 1 Wells, Joe B. 1 Zerny, Ian 1 Zsók, Viktória all top 5 Cited in 12 Serials 8 Journal of Functional Programming 5 Higher-Order and Symbolic Computation 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Information and Computation 1 Mathematical and Computer Modelling 1 Journal of Parallel and Distributed Computing 1 MSCS. Mathematical Structures in Computer Science 1 Applied and Computational Harmonic Analysis 1 RAIRO. Theoretical Informatics and Applications 1 Algorithms 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 26 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year