A. van Weelden and R. Plasmeijer. Towards a Strongly Typed Functional Operating System. In R. Pena and T. Arts, editors, 14th International Workshop on the Implementation of Functional Languages, IFL'02, pages 215--231. Springer, September 2002. LNCS 2670. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
DeCo: A Declarative Coordination Framework for Scientific.. - Herington, Stotts (2003) (Correct)
....way, and could easily be extended to be more convenient for such use. Shells and scripting languages are numerous; however, many fewer are especially functional in nature as is DeCo. Examples of functional shells and scripting languages include Es [6] scsh [14] and the shell included in Famke [16], a prototype of a strongly typed operating system. 7. Conclusions and future work We have presented DeCo, a declarative coordination framework for scientific model federations. Specifications in DeCo are concise and convenient. The nature of DeCo s abstractions and the language Haskell on which ....
A. van Weelden and R. Plasmeijer. Towards a strongly typed functional operating system. In Selected Papers Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002.
A Functional Shell That Operates on Typed and Compiled.. - Plasmeijer, van Weelden (2005) Self-citation (Van weelden Plasmeijer) (Correct)
No context found.
A. van Weelden and R. Plasmeijer. Towards a Strongly Typed Functional Operating System. In R. Pena and T. Arts, editors, 14th International Workshop on the Implementation of Functional Languages, IFL'02, pages 215--231. Springer, September 2002. LNCS 2670.
A Functional Shell That Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2004) Self-citation (Van weelden Plasmeijer) (Correct)
No context found.
Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed Functional Operating System. In R. Pena and T. Arts, editors, 14th International Workshop on the Implementation of Functional Languages, IFL'02, pages 215--231. Springer, September 2002. LNCS 2670.
When Generic Functions Use Dynamic Values - Achten, Alimarine, Plasmeijer (2003) (1 citation) Self-citation (Plasmeijer) (Correct)
No context found.
van Weelden, A. and Plasmeijer, R. Towards a Strongly Typed Functional Operating System. In Pe~na, R. ed. Proc. of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002), Madrid, Spain, September 16-18 2002, Technical Report 127-02, Departamento de Sistemas Informaticos y Programacion, Universidad Complutense de Madrid, pp. 301-319.
A Functional Shell that Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2004) Self-citation (Van weelden Plasmeijer) (Correct)
No context found.
Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed Functional Operating System. In R. Pena and T. Arts, editors, 14th International Workshop on the Implementation of Functional Languages, IFL'02, pages 215--231. Springer, September 2002. LNCS 2670.
A Functional Shell that Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2003) Self-citation (Van weelden Plasmeijer) (Correct)
No context found.
Arjen van Weelden and Rinus Plasmeijer. Towards a strongly typed functional operating system. In R. Pena and T. Arts, editors, 14th International Workshop on the Implementation of Functional Languages, IFL'02, pages 215--231. Springer, September 2002. LNCS 2670.
Generic Graphical User Interfaces - Achten, van Eekelen, Plasmeijer (2003) Self-citation (Plasmeijer) (Correct)
No context found.
A. van Weelden and R. Plasmeijer. Towards a strongly typed functional operating system. In R. Pena and T. Arts, editors, The 14th International Workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS, pages 215--231. Springer, Sept. 2002.
Generic Graphical User Interfaces - Peter Achten Marko (2004) Self-citation (Plasmeijer) (Correct)
No context found.
A. van Weelden and R. Plasmeijer. Towards a strongly typed functional operating system. In R. Pe~na and T. Arts, editors, The 14th International Workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS, pages 215-231. Springer, Sept. 2002.
mHaskell: Mobile Computation in a Purely Functional Language - Bois, Trinder, Loidl (2004) (Correct)
No context found.
van Weelden, A. and Plasmeijer, R. (2002). Towards a strongly typed functional operating system. In IFL 2002, LNCS, Volume 2670. Springer-Verlag.
Towards a Mobile Haskell - Bois, Trinder, Loidl (2003) (Correct)
No context found.
Arjen van Weelden and Rinus Plasmeijer. Towards a strongly typed functional operating system. In Implementation of Functional Languages, volume 2670. Springer LNCS, 2003.
Functional and (Constraint) Logic Programming, Proc. of the 12th.. - Vidal (2003) (Correct)
No context found.
Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed Functional Operating System. In Implementation of Functional Languages, volume 2670, Springer LNCS, 2003.
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