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

  • 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
  • Conference paper
    Darlington J, Guo Y, Pull H, otherset al., 1992,

    A new perspective on integrating functions and logic languages

    , Pages: 682-693
  • 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
  • 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,

    A Design Space for Integrating Declarative Languages

    , London, UK, UK, Publisher: Springer-Verlag, Pages: 3-19
  • 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=18&respub-action=search.html Current Millis: 1718528340041 Current Time: Sun Jun 16 09:59:00 BST 2024