Stop the war!Остановите войну!
for scientists:
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
Books and Theses
- 1994
[b2]Norman W. Paton, M. Howard Williams, Richard Cooper, Philip W. Trinder:
Database programming languages - deductive, functional, persistent and object-oriented approaches. Prentice Hall international series in computer science, Prentice Hall 1994, ISBN 978-0-13-101825-9, pp. I-XI, 1-289- 1989
- [b1]Phil Trinder:
A functional database. University of Oxford, UK, 1989
Journal Articles
- 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) - 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) - 2021
- [j34]Ivan Valkov, Phil Trinder, Natalia Chechina:
Reliable distribution of computational load in robot teams. Auton. Robots 45(3): 351-369 (2021) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 1997
- [j2]Daniel Kim Chung Chan, Philip W. Trinder:
A processing framework for object comprehensions. Inf. Softw. Technol. 39(9): 641-651 (1997) - 1994
- [j1]Daniel Kim Chung Chan, Philip W. Trinder, Ray Welland:
Evaluating Object-Oriented Query Languages. Comput. J. 37(10): 858-872 (1994)
Conference and Workshop Papers
- 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 - 2021
- [c79]Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl:
Improving GHC Haskell NUMA profiling. FHPNC@ICFP 2021: 1-12 - 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 - 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
- [c72]Ivan Valkov, Natalia Chechina, Phil Trinder:
Comparing languages for engineering server software: erlang, go, and scala with akka. SAC 2018: 218-225 - 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 - 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 - 2015
- [c66]Kenneth MacKenzie, Natalia Chechina, Phil Trinder:
Performance portability through semi-explicit placement in distributed Erlang. Erlang Workshop 2015: 27-38 - 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
- [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 - 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
- [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 - 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 - 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
- [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
- [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
- [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 - 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 - 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
- [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
- [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 - 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
- [c18]Hans-Wolfgang Loidl, Philip W. Trinder:
Engineering Large Parallel Functional Programs. Implementation of Functional Languages 1997: 178-197 - [c17]Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano:
Parallelising a Large Functional Program or: Keeping LOLITA Busy. Implementation of Functional Languages 1997: 198-213 - 1996
- [c16]Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones:
GUM: A Portable Parallel Implementation of Haskell. PLDI 1996: 79-88 - 1995
- [c15]Kevin Hammond, Philip W. Trinder:
Database Manipulation in Haskell 1.3. Functional Programming 1995: 5 - 1994
- [c14]Daniel Kim Chung Chan, Philip W. Trinder:
Object Comprehensions: A Query Notation for Object-Oriented Databases. BNCOD 1994: 55-72 - [c13]Phil Trinder:
Data Dependent Concurrency Control. Functional Programming 1994: 231-244 - [c12]Daniel Kim Chung Chan, Philip W. Trinder:
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. Z User Workshop 1994: 297-315 - 1993
- [c11]Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder:
A Case Study of Object-Oriented Query Languages. CISMOD 1993: 63-86 - [c10]Dag I. K. Sjøberg, Malcolm P. Atkinson, João Lopes, Philip W. Trinder:
Building an Integrated Persistent Application. DBPL 1993: 359-375 - [c9]Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder:
An Object-Oriented Data Model Specification. ICCI 1993: 453-457 - [c8]Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
Processing Transactions on GRIP, a Parallel Graph Reducer. PARLE 1993: 634-647 - 1992
- [c7]Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder:
Improving Persistent Data Manipulation for Functional Languages. Functional Programming 1992: 72-84 - 1991
- [c6]Philip W. Trinder:
Comprehensions, a Query Notation for DBPLs. DBPL 1991: 55-68 - [c5]Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
A Parallel Functional Database on GRIP. Functional Programming 1991: 1-24 - 1990
- [c4]Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder:
Bulk Types for Large Scale Programming. East/West Database Workshop 1990: 228-250 - [c3]Phil Trinder:
Concurrent Data Manipulation in a Pure Functional Language. Functional Programming 1990: 274-286 - 1989
- [c2]Philip W. Trinder:
Referentially Transparent Database Languages. Functional Programming 1989: 142-156 - 1987
- [c1]Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury:
Implementing Functional Databases. DBPL 1987: 165-176
Parts in Books or Collections
- 1999
- [p1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Large Scale Functional Applications. Research Directions in Parallel Functional Programming 1999: 399-426
Editorship
- 2022
- [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] - 2017
- [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] - 2016
- [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] - 2013
- [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] - 2006
- [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
- [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] - 2000
- [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]
Reference Works
- 2011
- [r1]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Functional Languages. Encyclopedia of Parallel Computing 2011: 744-749
Informal and Other Publications
- 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
- [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
- [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) - 2018
- [i3]Martin Braun, Oleg Lobachev, Phil Trinder:
Arrows for Parallel Computation. CoRR abs/1801.02216 (2018) - 2017
- [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)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
