Author of the publication

The Unification of Functional and Logic Languages.

, , and . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unlocking the Potential of Public Sector Information with Semantic Web Technology, , , , , , and . (2008)Conceptual Frameworks for Building Online Citizen Science Projects., and . Hum. Comput., 3 (1): 213-223 (2016)ICENI., , , , and . Workflows for e-Science, Scientific Workflows for Grids, Springer, (2007)Large Scale Data Mining: Challenges and Responses., , , , , , , , and . KDD, page 143-146. AAAI Press, (1997)Controlling the behaviour of functional language systems., and . FPCA, volume 274 of Lecture Notes in Computer Science, page 278-300. Springer, (1987)Parallelization of a Nonlinear Robust Optimization Algorithm., , and . PARCO, page 171-178. (1997)A Functional Programming Environment Supporting Execution, Partial Execution and Transformation., , , , , , , , , and . PARLE (1), volume 365 of Lecture Notes in Computer Science, page 286-305. Springer, (1989)The Unification of Functional and Logic Languages., , and . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)Formalising Actors in Linear Logic., and . OOIS, page 37-53. Springer, (1994)Some transformations for developing recursive programs., and . Reliable Software, page 465-472. ACM, (1975)