M. Schmidt-Schauß. External function calls in a functional language. In Proc. of the 1991 Glasgow workshop on functional programming, Workshops in Computing, pages 324--331. SpringerVerlag, 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Partial Rehabilitation of Side-Effecting I/O.. - Schmidt-Schauß (1996) Self-citation (Schmidt-schau) (Correct)
....PvE95] uses the method of direct calls via the operating system with a static analysis method to ensure safe use of this unsafe I Os. The underlying method is a unique type system. The direct call method was also used in the industrial lazy functional programming language Natural EL [HNMH96, SS91] however, only with minor precaution. This paper investigates the foundations for non deterministic lazy functional languages, such that implementors of lazy functional languages, who are already using such non deterministic calls, or who want to use them in the future, shall have a criterion for ....
M. Schmidt-Schauß. External function calls in a functional language. In Proc. of the 1991 Glasgow workshop on functional programming, Workshops in Computing, pages 324--331. SpringerVerlag, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC