Publications from our Researchers

Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.  

Search or filter publications

Filter by type:

Filter by publication type

Filter by year:



  • Showing results for:
  • Reset all filters

Search results

  • Conference paper
    Ghanem M, Darlington J, Au P, Guo Y, Sik R, Yang Jet al., 1995,

    A pilot study in using co-ordination forms for combined vector and scalar parallel computation on the AP1000

    , In Proceedings of PCWÆ95, the Fourth Parallel Computing Workshop, London, UK
  • Conference paper
    DARLINGTON J, GUO YK, TO HW, YANG Jet al., 1995,


    , 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Publisher: ASSOC COMPUTING MACHINERY, Pages: 19-28, ISSN: 0362-1340
  • Journal article
    Chakravarty M, Guo Y, Koelher M, 1995,

    Co-ordinating Parallel Computation through Equational Constraints

  • Conference paper
    Darlington J, Guo Y, 1994,

    Constraint Logic Programming in the Sequent Calculus

    , Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning (LPAR 94), Publisher: Springer-Verlag
  • Conference paper
    Darlington J, Guo Y, 1994,

    Reduction as Deduction

    , Proceedings of the 6th International Workshop on Implementation of Functional Languages, Norwich, UK
  • Conference paper
    Darlington J, Guo Y, To HW, Wu Q, Yang J, Kohler Met al., 1994,

    Fortran-S: a uniform functional interface to parallel imperative languages

  • Journal article
    Darlington J, Guo Y, Köhler M, 1993,

    Functional programming languages with logical variables: a linear logic view

    , Progamming Language Implementation and Logic Programming, Pages: 201-219
  • Journal article
    Guo Y, 1993,

    FALCON: Functional and Logic Language with Constraints

    , A draft prepared for the, Vol: 6
  • Conference paper
    Darlington J, Guo Y, Pull H, otherset al., 1992,

    A new perspective on integrating functions and logic languages

    , Pages: 682-693
  • Journal article
    DARLINGTON J, GUO Y, 1991,


    , LECTURE NOTES IN COMPUTER SCIENCE, Vol: 516, Pages: 424-435, ISSN: 0302-9743
  • Conference paper
    Darlington J, Guo Y, Pull H, 1991,

    Introducing constraint functional logic programming

    , Publisher: Springer-Verlag, Pages: 20-34
  • Journal article
    Darlington J, Guo Y, Wu Q, 1991,

    A General Computational Scheme for Constraint Logic Programming

    , ALPUK, Pages: 56-77
  • Conference paper
    Darlington J, Guo Y, Pull H, 1991,

    A Design Space for Integrating Declarative Languages

    , London, UK, UK, Publisher: Springer-Verlag, Pages: 3-19
  • Conference paper
    Darlington J, Guo Y, 1989,

    The unification of functional and logic languages-towards constraint functional programming

    , Pages: 162 -168-162 -168
  • Journal article
    Darlington J, Guo YK, 1989,

    Narrowing and unification in functional programming�an evaluation mechanism for absolute set abstraction

    , Rewriting Techniques and Applications, Pages: 92-108

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: Request URI: /respub/WEB-INF/jsp/search-t4-html.jsp Query String: id=607&limit=15&page=9&respub-action=search.html Current Millis: 1573582073416 Current Time: Tue Nov 12 18:07:53 GMT 2019