default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilip W. Trinder
Phil Trinder
Person information
- affiliation: Glasgow University, School of Mathematical and Computer Sciences
- affiliation: Heriot-Watt University, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j38]Thomas Koehler
, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer:
Guided Equality Saturation. Proc. ACM Program. Lang. 8(POPL): 1727-1758 (2024)- [c83]Solaris Li, Phil Trinder, Christophe De Troyer, Mart Lubbers, Adrian Ramsingh:
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems. Erlang 2024: 84-95 - 2023
- [j37]Ruairidh MacGregor, Blair Archibald, Phil Trinder:
Generic Exact Combinatorial Search at HPC Scale. Int. J. Parallel Program. 51(1): 83-106 (2023) - [j36]Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder:
Special Delivery: Programming with Mailbox Types. Proc. ACM Program. Lang. 7(ICFP): 78-107 (2023) - [j35]Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder:
Could Tierless Languages Reduce IoT Development Grief? ACM Trans. Internet Things 4(1): 6:1-6:35 (2023) - [i7]Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder:
Special Delivery: Programming with Mailbox Types (Extended Version). CoRR abs/2306.12935 (2023) - 2022
- [c82]Ruomeng (Cocoa) Xu, Anna Lito Michala, Phil Trinder:
CAEFL: composable and environment aware federated learning models. Erlang Workshop 2022: 9-20 - [c81]Aidan Randtoul, Phil Trinder:
A reliability benchmark for actor-based server languages. Erlang Workshop 2022: 21-32 - [c80]Adrian Ramsingh, Jeremy Singer, Phil Trinder:
Classifying the Reliability of the Microservices Architecture. WEBIST 2022: 21-32 - [e8]José Cano, Phil Trinder:
Euro-Par 2022: Parallel Processing - 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings. Lecture Notes in Computer Science 13440, Springer 2022, ISBN 978-3-031-12596-6 [contents] - [i6]Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan:
Parallel Flowshop in YewPar. CoRR abs/2207.06902 (2022) - [i5]Adrian Ramsingh, Jeremy Singer, Phil Trinder:
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability. CoRR abs/2207.08019 (2022) - 2021
- [j34]Ivan Valkov, Phil Trinder, Natalia Chechina:
Reliable distribution of computational load in robot teams. Auton. Robots 45(3): 351-369 (2021) - [c79]Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl:
Improving GHC Haskell NUMA profiling. FHPNC@ICFP 2021: 1-12 - [i4]Thomas Koehler, Phil Trinder, Michel Steuwer:
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. CoRR abs/2111.13040 (2021) - 2020
- [c78]Dejice Jacob, Phil Trinder, Jeremy Singer:
Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms. DLS 2020: 29-42 - [c77]Mart Lubbers, Pieter W. M. Koopman, Adrian Ramsingh, Jeremy Singer, Phil Trinder:
Tiered versus tierless IoT stacks: comparing smart campus software architectures. IOT 2020: 21:1-21:9 - [c76]Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder:
YewPar: skeletons for exact combinatorial search. PPoPP 2020: 292-307 - [c75]Danail Penev, Phil Trinder:
Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala. WEBIST 2020: 51-58
2010 – 2019
- 2019
- [c74]Dejice Jacob, Phil Trinder, Jeremy Singer:
Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis. DLS 2019: 42-54 - [c73]Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder:
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par 2019: 184-196 - 2018
- [j33]Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder:
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113: 92-114 (2018) - [c72]Ivan Valkov, Natalia Chechina, Phil Trinder:
Comparing languages for engineering server software: erlang, go, and scala with akka. SAC 2018: 218-225 - [i3]Martin Braun, Oleg Lobachev, Phil Trinder:
Arrows for Parallel Computation. CoRR abs/1801.02216 (2018) - 2017
- [j32]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39(4): 17:1-17:46 (2017) - [j31]Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez:
Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. 28(8): 2244-2257 (2017) - [c71]Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule:
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC 2017: 6:1-6:10 - [e7]Phil Trinder, Cosmin E. Oancea:
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017. ACM 2017, ISBN 978-1-4503-5181-2 [contents] - [i2]Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder:
Replicable Parallel Branch and Bound Search. CoRR abs/1703.05647 (2017) - [i1]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR abs/1704.07234 (2017) - 2016
- [j30]Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder:
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28(13): 3606-3636 (2016) - [j29]Robert J. Stewart, Patrick Maier, Phil Trinder:
Transparent fault tolerance for scalable functional computation. J. Funct. Program. 26: e5 (2016) - [j28]Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder:
Improving the network scalability of Erlang. J. Parallel Distributed Comput. 90-91: 22-34 (2016) - [j27]André Rauber Du Bois, Phil Trinder:
Selected and extended papers from SBLP 2013. Sci. Comput. Program. 132: 1 (2016) - [c70]Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder:
Towards reliable and scalable robot communication. Erlang Workshop 2016: 12-23 - [c69]Natalia Chechina, Mario Moro Hernandez, Phil Trinder:
A scalable reliable instant messenger using the SD Erlang libraries. Erlang Workshop 2016: 33-41 - [c68]Patrick Maier, John Magnus Morton, Phil Trinder:
JIT costing adaptive skeletons for performance portability. FHPC@ICFP 2016: 23-30 - [c67]John Magnus Morton, Patrick Maier, Phil Trinder:
JIT-Based Cost Analysis for Dynamic Program Transformations. RAC@ETAPS 2016: 5-25 - [e6]Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella:
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9600, Springer 2016, ISBN 978-3-319-30935-4 [contents] - 2015
- [c66]Kenneth MacKenzie, Natalia Chechina, Phil Trinder:
Performance portability through semi-explicit placement in distributed Erlang. Erlang Workshop 2015: 27-38 - 2014
- [j26]Patrick Maier, Robert J. Stewart, Philip W. Trinder:
Reliable scalable symbolic computation: The design of SymGridPar2. Comput. Lang. Syst. Struct. 40(1): 19-35 (2014) - [c65]Jiansen He, Philip Wadler, Philip W. Trinder:
Typecasting actors: from Akka to TAkka. SCALA@ECOOP 2014: 23-33 - [c64]Patrick Maier, Daria Livesey, Hans-Wolfgang Loidl, Phil Trinder:
High-Performance Computer Algebra: A Hecke Algebra Case Study. Euro-Par 2014: 415-426 - [c63]Patrick Maier, Robert J. Stewart, Phil Trinder:
The HdpH DSLs for scalable reliable computation. Haskell 2014: 65-76 - [c62]Malak Saleh Aljabri, Hans-Wolfgang Loidl, Phil Trinder:
Balancing Shared and Distributed Heaps on NUMA Architectures. Trends in Functional Programming 2014: 1-17 - 2013
- [j25]Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson:
Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. 25(3): 309-348 (2013) - [j24]Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond:
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49: 95-119 (2013) - [c61]Amir Ghaffari, Natalia Chechina, Phil Trinder, Jon Meredith:
Scalable persistent storage for Erlang: theory and practice. Erlang Workshop 2013: 73-74 - [c60]Malak Saleh Aljabri, Hans-Wolfgang Loidl, Philip W. Trinder:
The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation. IFL 2013: 37 - [c59]Patrick Maier, Robert J. Stewart, Philip W. Trinder:
Reliable scalable symbolic computation: the design of SymGridPar2. SAC 2013: 1674-1681 - [e5]André Rauber Du Bois, Phil Trinder:
Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings. Lecture Notes in Computer Science 8129, Springer 2013, ISBN 978-3-642-40921-9 [contents] - 2012
- [j23]Abdallah Al Zain, Philip W. Trinder, Kevin Hammond:
Orchestrating computational algebra components into a high-performance parallel system. Int. J. High Perform. Comput. Netw. 7(2): 76-86 (2012) - [c58]Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder:
Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) 2012: 105-120 - [c57]Robert J. Stewart, Phil Trinder, Patrick Maier:
Supervised Workpools for Reliable Massively Parallel Computing. Trends in Functional Programming 2012: 247-262 - [c56]Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger:
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming 2012: 263-278 - [c55]Mustafa Aswad, Philip W. Trinder, Hans-Wolfgang Loidl:
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH). ICCS 2012: 1807-1816 - 2011
- [j22]Natalia Chechina, Peter King, Phil Trinder:
Redundant movements in autonomous mobility: Experimental and theoretical analysis. J. Parallel Distributed Comput. 71(10): 1278-1292 (2011) - [c54]Robert J. Stewart, Philip W. Trinder, Hans-Wolfgang Loidl:
Comparing High Level MapReduce Query Languages. APPT 2011: 58-72 - [c53]Patrick Maier, Philip W. Trinder:
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell. IFL 2011: 35-50 - [r1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Functional Languages. Encyclopedia of Parallel Computing 2011: 744-749 - 2010
- [j21]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Cost-driven autonomous mobility. Comput. Lang. Syst. Struct. 36(1): 34-59 (2010) - [j20]Lu Fan, Philip W. Trinder, Hamish Taylor:
Design issues for Peer-to-Peer Massively Multiplayer Online Games. Int. J. Adv. Media Commun. 4(2): 108-125 (2010) - [j19]Lu Fan, Philip W. Trinder, Hamish Taylor:
Deadline-Driven Auctions for NPC host allocation in P2P MMOGs. Int. J. Adv. Media Commun. 4(2): 140-153 (2010) - [c52]Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder:
Seq no more: better strategies for parallel Haskell. Haskell 2010: 91-102 - [c51]Natalia Chechina, Peter King, Phil Trinder:
Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements. IAT 2010: 343-346 - [c50]Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond:
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC 2010: 339-346
2000 – 2009
- 2009
- [c49]Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson:
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA 2009: 67-83 - [c48]Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad:
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36 - [c47]Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold:
Low Pain vs No Pain Multi-core Haskells. Trends in Functional Programming 2009: 49-64 - 2008
- [j18]Jan Henry Nyström, Philip W. Trinder, David J. King:
High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG. Concurr. Comput. Pract. Exp. 20(8): 941-968 (2008) - [j17]Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distributed Syst. 19(2): 219-233 (2008) - [c46]Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold:
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA 2008: 99-112 - 2007
- [j16]Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala:
NOCEA: A rule-based evolutionary algorithm for efficient and effective clustering of massive high-dimensional databases. Appl. Soft Comput. 7(3): 668-710 (2007) - [c45]Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder:
SymGrid: A Framework for Symbolic Computation on the Grid. Euro-Par 2007: 457-466 - [c44]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Automatically Costed Autonomous Mobility. IAT 2007: 95-101 - [c43]Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti:
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) 2007: 617-624 - [c42]Jan Henry Nyström, Philip W. Trinder, David J. King:
Evaluating high-level distributed language constructs. ICFP 2007: 203-212 - [c41]Lu Fan, Hamish Taylor, Philip W. Trinder:
Mediator: a design framework for P2P MMOGs. NETGAMES 2007: 43-48 - 2006
- [j15]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Strong Mobility in Mobile Haskell. J. Univers. Comput. Sci. 12(7): 868-884 (2006) - [j14]Xiao Yan Deng, Greg Michaelson, Philip W. Trinder:
Autonomous mobility skeletons. Parallel Comput. 32(7-8): 463-478 (2006) - [j13]Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Managing Heterogeneity in a Grid Parallel Haskell. Scalable Comput. Pract. Exp. 7(3) (2006) - [c40]Philip W. Trinder:
Comparing C++ and ERLANG for motorola telecoms software. Erlang Workshop 2006: 51 - [c39]Xiao Yan Deng, Philip W. Trinder, Greg Michaelson:
Autonomous Mobile Programs. IAT 2006: 177-186 - [c38]Zara Field, Philip W. Trinder, André Rauber Du Bois:
A comparative evaluation of three mobile languages. Mobility Conference 2006: 45 - [e4]Marc Feeley, Philip W. Trinder:
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-490-1 [contents] - 2005
- [j12]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
mHaskell: Mobile Computation in a Purely Functional Language. J. Univers. Comput. Sci. 11(7): 1234-1254 (2005) - [j11]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Towards Mobility Skeletons. Parallel Process. Lett. 15(3): 273-288 (2005) - [c37]Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson:
Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) 2005: 746-754 - [c36]Jan Henry Nyström, Philip W. Trinder, David J. King:
Are High-Level Languages Suitable for Robust Telecoms Software?. SAFECOMP 2005: 275-288 - [e3]Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder:
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3474, Springer 2005, ISBN 3-540-26094-3 [contents] - 2004
- [e2]Philip W. Trinder, Greg Michaelson, Ricardo Pena:
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5 [contents] - 2003
- [j10]Euan W. Dempster, Neven Tomov, M. Howard Williams, Hamish Taylor, Albert G. Burger, Philip W. Trinder, Jiang Lü, Phil Broughton:
Modelling Parallel Oracle for Performance Prediction. Distributed Parallel Databases 13(3): 251-269 (2003) - [j9]Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder:
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16(3): 203-251 (2003) - [c35]Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala:
Towards effective subspace clustering with an evolutionary algorithm. IEEE Congress on Evolutionary Computation 2003: 797-806 - [c34]Jan Henry Nyström, Philip W. Trinder, David J. King:
Evaluating distributed functional languages for telecommunications software. Erlang Workshop 2003: 1-7 - [c33]Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Zalzala:
Mining Comprehensible Clustering Rules with an Evolutionary Algorithm. GECCO 2003: 2301-2312 - [c32]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Implementing Mobile Haskell. Trends in Functional Programming 2003: 79-94 - 2002
- [j8]Yang Jun, Greg Michaelson, Philip W. Trinder:
Explaining Polymorphic Types. Comput. J. 45(4): 436-452 (2002) - [j7]Sahalu B. Junaidu, Philip W. Trinder:
Parallelising large irregular programs: an experience with Naira. Inf. Sci. 140(3-4): 229-240 (2002) - [j6]Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon:
Parallel and Distributed Haskells. J. Funct. Program. 12(4&5): 469-510 (2002) - [c31]Ioannis A. Sarafis, Ali M. S. Zalzala, Philip W. Trinder:
A genetic rule-based data clustering toolkit. IEEE Congress on Evolutionary Computation 2002: 1238-1243 - [c30]André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214 - [c29]André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder:
Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD 2002: 82-92 - 2001
- [j5]Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz:
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Process. Lett. 11(4): 471-486 (2001) - [c28]Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder:
Functional Vs Object-Oriented Distributed Languages. EUROCAST 2001: 642-656 - [c27]Yang Jun, Greg Michaelson, Phil Trinder:
Human and "human-like" type explanations. PPIG 2001: 13 - 2000
- [c26]Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo:
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par 2000: 739-743 - [c25]Clement A. Baker-Finch, David J. King, Philip W. Trinder:
An operational semantics for parallel lazy evaluation. ICFP 2000: 162-173 - [c24]Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl:
The Design and Implementation of Glasgow Distributed Haskell. IFL 2000: 53-70 - [c23]Yang Jun, Greg Michaelson, Phil Trinder:
How do people check polymorphic types? PPIG 2000: 6 - [c22]Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder:
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop 2000: 39-52 - [c21]Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl:
Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop 2000: 103-114 - [e1]Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl:
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999. Trends in Functional Programming 1, Intellect 2000, ISBN 1-84150-024-0 [contents]
1990 – 1999
- 1999
- [j4]Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones:
Engineering parallel symbolic programs in GPH. Concurr. Pract. Exp. 11(12): 701-752 (1999) - [p1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Large Scale Functional Applications. Research Directions in Parallel Functional Programming 1999: 399-426 - 1998
- [j3]Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998) - [c20]Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King:
Towards an Operational Semantics for a Parallel Non-Strict Functional Language. IFL 1998: 54-71 - [c19]David J. King, Jon G. Hall, Philip W. Trinder:
A Strategic Profiler for Glasgow Parallel Haskell. IFL 1998: 88-102 - 1997
- [j2]Daniel Kim Chung Chan, Philip W. Trinder:
A processing framework for object comprehensions. Inf. Softw. Technol. 39(9): 641-651 (1997) - [c18]