PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kieburtz, Richard B."

Author of the publication

copydeleteadd this publication to your clipboard
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.

, , , , , , , , , , , , , and . SIGPLAN Notices, 27 (5): 1- (1992)

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.

B. Schlecht

Richard Völker University of Stuttgart

Univ. -Prof. Dr. Richard Dipper University of Stuttgart

Richard Powers University of Stuttgart

Richard Schömig University of Stuttgart

 

Other publications of authors with the same name

A RISC Architecture for Symbolic Computation.. ASPLOS, page 146-155. ACM Press, (1987)SIGARCH Computer Architecture News 15(5), SIGOPS Operating System Review 21(4), SIGPLAN Notices 22(10).Programmed Strategies for Program Verification.. Electron. Notes Theor. Comput. Sci., 174 (10): 3-38 (2007)The Formal Definition of a Real-Time Language., and . Acta Inf., (1981)Capability Managers., and . IEEE Trans. Software Eng., 4 (6): 467-477 (1978)A Logic for Rewriting Strategies.. Electr. Notes Theor. Comput. Sci., 58 (2): 138-154 (2001)Programming without Pointer Variables.. Conference on Data: Abstraction, Definition and Structure, page 95-107. ACM, (1976)Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers., and . ACM Trans. Program. Lang. Syst., 2 (1): 18-41 (1980)Global context recovery: A new strategy for parser recovery from syntax errors., and . SIGPLAN Symposium on Compiler Construction, page 158-167. ACM, (1979)The logic of demand in Haskell., and . J. Funct. Program., 15 (5): 837-891 (2005)On the Static Access-Control Mechanism in Concurrent Pascal., and . Comput. J., 25 (1): 17-21 (1982)