Filter
Conference contribution book

Search results

  • 2021

    Evaluating the usability of a tablet application to support adults with mild intellectual disabilities during primary care consultations

    Gibson, R. C. & Dunlop, M. D., 8 May 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems (CHI EA '21) . New York, NY., 7 p. 395

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)
  • Fighting fires and powering steam locomotives: Distribution of control and its role in social interaction at tangible interactive museum exhibits

    Clarke, L., Hornecker, E. & Ruthven, I., 13 May 2021, Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems - CHI'21. New York, NY., 17 p. 344

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Downloads (Pure)
  • Untangling cost, effort, and load in information seeking and retrieval

    McGregor, M., Azzopardi, L. & Halvey, M., 14 Mar 2021, CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval. New York, NY., p. 151–161 11 p. (CHIIR 2021 - Proceedings of the 2021 Conference on Human Information Interaction and Retrieval).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    36 Downloads (Pure)
  • Untangling the concept of task in information seeking and retrieval

    Soufan, A., Ruthven, I. & Azzopardi, L., 29 Jun 2021, (Accepted/In press) Proceedings of the 2021 ACM SIGIR International Conference on the Theory of Information Retrieval. New York, NY.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    106 Downloads (Pure)
  • 2020

    Designing clinical AAC tablet applications with adults who have mild intellectual disabilities

    Gibson, R. C., Dunlop, M. D., Bouamrane, M-M. & Nayar, R., 30 Apr 2020, CHI '20 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY., p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    24 Downloads (Pure)
  • Designing interactions for the ageing populations – addressing global challenges

    Sarcar, S., Munteanu, C., Jokinen, J. P. P., Charness, N., Dunlop, M., Ren, X. & Waycott, J., 28 Apr 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems - CHI EA '20: Extended Abstracts. New York, NY., 5 p. W21

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    7 Downloads (Pure)
  • Expressive logics for coinductive predicates

    Kupke, C. & Rot, J., 16 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernandez, M. & Muscholl, A. (eds.). Dagstuhl, Germany, Vol. 152. p. 26:1--26:18 18 p. 26

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    14 Downloads (Pure)
  • Impact of agent reliability and predictability on trust in real time human-agent collaboration

    Daronnat, S., Azzopardi, L., Halvey, M. & Dubiel, M., 10 Nov 2020, HAI '20: Proceedings of the 8th International Conference on Human-Agent Interaction. New York, p. 131-139 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    13 Downloads (Pure)
  • Interactive evaluation of conversational agents: reflections on the impact of search task design

    Dubiel, M., Halvey, M., Azzopardi, L. & Daronnat, S., 14 Sep 2020, ICTIR 2020 - Proceedings of the 2020 ACM SIGIR International Conference on Theory of Information Retrieval. New York, NY., p. 85–88 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Downloads (Pure)
  • Learning weighted automata over principal ideal domains

    van Heerdt, G., Kupke, C., Rot, J. & Silva, A., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 602-621 20 p. (Lecture Notes in Computer Science; vol. 12077).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    9 Downloads (Pure)
  • Lessons from expert focus groups on how to better support adults with mild intellectual disabilities to engage in co-design

    Gibson, R. C., Dunlop, M. D. & Bouamrane, M-M., 26 Oct 2020, ASSETS '20 : The 22nd International ACM SIGACCESS Conference on Computers and Accessibility. New York, NY., 20 p. 48

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Downloads (Pure)
  • Machine learning techniques for automated software fault detection via dynamic execution data: empirical evaluation study

    Almaghairbe, R., Roper, M. & Almabruk, T., 28 Sep 2020, Proceedings of the 6th International Conference on Engineering and MIS 2020, ICEMIS 2020. New York, NY., p. 1-12 12 p. 15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    10 Downloads (Pure)
  • Recognizing semantic relations by combining transformers and fully connected models

    Roussinov, D., Sharoff, S. & Puchnina, N., 31 May 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Béchet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Luxembourg, p. 5838-5845 8 p. (LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Downloads (Pure)
  • Reflecting upon perceptual speed tests in information retrieval: limitations, challenges, and recommendations

    Foulds, O., Azzopardi, L. & Halvey, M., 18 Mar 2020, CHIIR '20: Proceedings of the 2020 Conference on Human Information Interaction and Retrieval. New York, p. 234-242 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    182 Downloads (Pure)
  • Three equivalent ordinal notation systems in cubical Agda

    Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Citations (Scopus)
    31 Downloads (Pure)
  • 2019

    Application of ensemble techniques in predicting object-oriented software maintainability

    Alsolai, H. & Roper, M., 15 Apr 2019, Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. New York, p. 370-373 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    11 Downloads (Pure)
  • Character building in children's online information behaviours: applying a virtue epistemology perspective to information literacy

    McMenemy, D. & Buchanan, S., 20 Feb 2019, Information Literacy in Everyday Life: 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers. Kurbanoğlu, S., Špiranec, S., Ünal, Y., Boustany, J., Huotari, M. L., Grassian, E., Mizrachi, D. & Roy, L. (eds.). Cham, Switzerland: Springer, p. 73-82 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    132 Downloads (Pure)
  • Coalgebra learning via duality

    Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    11 Downloads (Pure)
  • Completeness for game logic

    Enqvist, S., Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ.: IEEE, p. 1-23 23 p. 8785676

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)
  • Evaluation of random forest and ensemble methods at predicting complications following cardiac surgery

    Lapp, L., Bouamrane, M-M., Kavanagh, K., Roper, M., Young, D. & Schraag, S., 30 May 2019, Artificial Intelligence in Medicine - 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Proceedings. Wilk, S., ten Teije, A. & Riaño, D. (eds.). Cham: Springer, p. 376–385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11526 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Citations (Scopus)
    6 Downloads (Pure)
  • Making meaning: a focus for information interactions research

    Ruthven, I., 11 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval . New York, NY, p. 163-171 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    9 Citations (Scopus)
    14 Downloads (Pure)
  • On the qubit routing problem

    Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W. & Sivarajah, S., 1 May 2019, 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019). van Dam, W. & Mancinska, L. (eds.). Dagstuhl, Germany, Vol. 135. p. 5:1--5:32 32 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    12 Citations (Scopus)
    96 Downloads (Pure)
  • Phase gadget synthesis for shallow circuits

    Cowtan, A., Dilkes, S., Duncan, R., Simmons, W. & Sivarajah, S., 10 Jun 2019, Proceedings 16th International Conference on Quantum Physics and Logic. Coecke, B. & Leifer, M. (eds.). Waterloo, Australia: Open Publishing Association, Vol. 318. p. 213–228 26 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    59 Downloads (Pure)
  • Using machine learning to classify test outcomes

    Roper, R., 20 May 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). Piscataway, N.J.: IEEE, p. 99-100 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    63 Downloads (Pure)
  • 2018

    A glimpse of mobile text entry errors and corrective behaviour in the wild

    Komninos, A., Dunlop, M., Katsaris, K. & Garofalakis, J., 3 Sep 2018, MobileHCI '18 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct . New York, p. 221-228 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    10 Citations (Scopus)
    108 Downloads (Pure)
  • Compositional game theory

    Ghani, N., Hedges, J., Winschel, V. & Zahn, P., 12 Jul 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, p. 472-481 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    18 Citations (Scopus)
    76 Downloads (Pure)
  • Developing information literacy in dependent and disadvantaged circumstances: a transitional approach in the digital health context

    Buchanan, S., Jardine, C. & Ruthven, I., 19 Jan 2018, Fifth European Conference on Information Literacy (ECIL), Sep 18-21 2017, Saint-Malo, France. Cham, Switzerland: Springer, p. 409-418 10 p. (Communications in Computer and Information Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Citations (Scopus)
    67 Downloads (Pure)
  • Interacting Frobenius algebras are Hopf

    Duncan, R. & Dunne, K., 17 Dec 2018, Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, NY, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    13 Citations (Scopus)
    150 Downloads (Pure)
  • Optimization strategies for integration pattern compositions

    Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York: Association for Computing Machinery (ACM), 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    3 Citations (Scopus)
    22 Downloads (Pure)
  • Personality traits and cyber-attack victimisation: multiple mediation analysis

    Albladi, S. M. & Weir, G. R. S., 18 Jan 2018, Joint 13th CTTE and 10th CMI Conference on Internet of Things – Business Models, Users, and Networks. Falch, M. (ed.). Piscataway, NJ: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    601 Downloads (Pure)
  • Quotient inductive-inductive types

    Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    17 Citations (Scopus)
    24 Downloads (Pure)
  • Towards measuring content coordination in microblogs

    Roussinov, D., 1 Mar 2018, Advances in Information Retrieval: 40th European Conference on IR Research, ECIR 2018, Proceedings. Pasi, G., Piwowarski, B., Azzopardi, L. & Hanbury, A. (eds.). Cham: Springer-Verlag, p. 651-656 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10772).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    50 Downloads (Pure)
  • 2017

    A comprehensive introduction to the theory of word-representable graphs

    Kitaev, S., 17 May 2017, (Accepted/In press) Developments in Language Theory: 21th International Conference, DLT 2017, Leige, Belgium, August 7-11, 2017, Proceedings. Berlin: Springer-Verlag, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    153 Downloads (Pure)
  • Angluin learning via logic

    Barlocco, S. & Kupke, C., 28 Nov 2017, Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Computer Science; vol. 10703).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    44 Downloads (Pure)
  • An interface for supporting asynchronous multi-level collaborative information retrieval

    Htun, N. N., Halvey, M. & Baillie, L., 7 Mar 2017, ACM SIGIR Conference on Human Information Interaction & Retrieval 2017. New York, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    157 Downloads (Pure)
  • Competence measure in social networks

    Albladi, S. M. & Weir, G. R. S., 7 Dec 2017, 2017 IEEE International Carnahan Conference on Security Technology (ICCST). Piscataway, NJ: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    43 Downloads (Pure)
  • Do Be Do Be Do

    Lindley, S., McBride, C. & McLaughlin, C., 15 Jan 2017, POPL'2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. (ed.). New York, p. 500-514 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    31 Citations (Scopus)
    198 Downloads (Pure)
  • ForgetMeNot: active reminder entry support for adults with acquired brain injury

    Jamieson, M., O'Neill, B., Cullen, B., Lennon, M., Brewster, S. & Evans, J., 5 May 2017, CHI '17 : Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. New York, NY., p. 6012–6023 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    9 Citations (Scopus)
    58 Downloads (Pure)
  • High-dimensional simplexes for metric search

    Connor, R., Vadicamo, L. & Rabitti, F., 4 Oct 2017, Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings. Beecks, C., Kröger, P. & Seidl, T. (eds.). Cham: Springer, Vol. 10609. p. 96-109 14 p. (Lecture Notes in Computer Science; vol. 10609).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    10 Citations (Scopus)
    74 Downloads (Pure)
  • How can we better support users with non-uniform information access in collaborative information retrieval?

    Htun, N. N., Halvey, M. & Baillie, L., Mar 2017, ACM SIGIR Conference on Human Information Interaction & Retrieval 2017. New York

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    5 Citations (Scopus)
    68 Downloads (Pure)
  • Meaningful digital health interventions: bridging digital divides via tailored design

    Buchanan, S., Jardine, C. & Ruthven, I., 3 Feb 2017, (Accepted/In press) 8th Annual Innovation in Healthcare Delivery Systems 2017 Symposium. Austin, 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    57 Downloads (Pure)
  • Readability as a basis for information security policy assessment

    Alkhurayyif, Y. & Weir, G. R. S., 2 Nov 2017, Seventh IEEE International Conference on Emerging Security Technologies (EST). Piscataway, NJ: IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    50 Downloads (Pure)
  • Text entry tap accuracy and exploration of tilt controlled layered interaction on smartwatches

    Dunlop, M. D., Roper, M. & Imperatore, G., 7 Sep 2017, MobileHCI '17 : Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. New York, 11 p. 23

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    164 Downloads (Pure)
  • Variations on inductive-recursive definitions

    Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany, 13 p. 63. (Leibniz International Proceedings in Informatics ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    35 Downloads (Pure)
  • 2016

    A flexible toolkit for evaluating person-centred digital health and wellness at scale

    McGee-Lennon, M., Bouamrane, M-M., Grieve, E., O'Donnell, C. A., O'Connor, S., Agbakoba, R., Devlin, A. M., Barry, S., Bikker, A., Finch, T. & Mair, F. S., 2 Jul 2016, Advances in Human Factors and Ergonomics in Healthcare: Proceedings of the AHFE 2016 International Conference on Human Factors and Ergonomics in Healthcare. Duffy, V. G. & Lightner, N. (eds.). Cham: Springer International Publishing AG, Vol. 482. p. 105-118 14 p. (Advances in Intelligent Systems and Computing; vol. 482).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    65 Downloads (Pure)
  • Automatically classifying test results by semi-supervised learning

    Almaghairbe, R. & Roper, M., 8 Dec 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE). [Piscataway, NJ]: IEEE, p. 116-126 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    159 Downloads (Pure)
  • Comprehensive parametric polymorphism: categorical models and type theory

    Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Jacobs, B. & Löding, C. (eds.). Berlin: Springer-Verlag, Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    4 Citations (Scopus)
    210 Downloads (Pure)
  • Evaluating the social acceptability of voice based smartwatch search

    Efthymiou, C. & Halvey, M., 31 Dec 2016, Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China November 30 – December 2, 2016. Proceedings. Ma, S., Wen, J-R., Liu, Y., Dou, Z., Zhang, M., Chang, Y. & Zhao, X. (eds.). Switzerland: Springer, p. 267-278 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    11 Citations (Scopus)
    120 Downloads (Pure)
  • Games for topological fixpoint logic

    Bezhanishvili, N. & Kupke, C., 13 Sep 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Cantone, D. & Delzanno, G. (eds.). p. 46-60 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    1 Citation (Scopus)
    26 Downloads (Pure)
  • I got plenty o’ nuttin’

    McBride, C., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer, p. 207-233 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    22 Citations (Scopus)