Frank S. K. Silbermann

Publication Activity (10 Years)

Years Active: 1986-1994
Publications (10 Years): 0

Publications

John Maraist, Frank S. K. Silbermann
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. PLILP (1994)
Silvia Takahashi, Frank S. K. Silbermann
Prolog Interpretation of A Functional-Logic Language. ILPS (1993)
Frank S. K. Silbermann, Bharat Jayaraman
A Domain-Theoretic Approach to Functional and Logic Programming. J. Funct. Program. 2 (3) (1992)
Frank S. K. Silbermann, Bharat Jayaraman
Set Abstraction in Functional and Logic Programming. FPCA (1989)
Bharat Jayaraman, Frank S. K. Silbermann
Equations, Sets, and Reduction Semantics for Functional and Logic Programming. LISP and Functional Programming (1986)