Author of the publication

A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages

, and . Inf. Control., 55 (1-3): 89-101 (October 1982)

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

A Modification of the Lambda-Calculus as a Base for Functional Programming Languages., and . ICALP, volume 140 of Lecture Notes in Computer Science, page 35-47. Springer, (1982)ProInformatik. Das Frühstudium Informatik an der Freien Universität Berlin.. GI-Jahrestagung, volume P-208 of LNI, page 930-937. GI, (2012)Funktionale Programmierung - Das aktuelle Schlagwort.. Inform. Spektrum, 5 (3): 194-196 (1982)Empfehlungen zum Schulfach Informatik, insbesondere zur Ausbildung von Informatiklehrern, , , , , , , , , and . Fakultätentag, Chemnitz, (November 1996)Sitzungsprotokoll: http://www.ft-informatik.de/protokolle/prot47-Ch-96.pdf.Expressive Power of Typed and Type-Free Programming Languages.. Theor. Comput. Sci., (1984)Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 245-251. Springer, (1975)A schematalogical approach to the alalysis of the procedure concept in algol-languages., and . CLAAP, page 130-134. Université de Lille 1, (1980)A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages, and . Inf. Control., 55 (1-3): 89-101 (October 1982)The "Simplest Functional Programming Language" is neither Simple nor Functional.. ACM SIGPLAN Notices, 18 (4): 55-57 (1983)Higher Type Recursion and Self-Application as Control Structures., , and . Formal Description of Programming Concepts, page 461-490. North-Holland, (1977)