IFL '96 Selected Papers from the 8th International Workshop on Implementation of Functional Languages
A Generic Programming Extension for Clean
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Efficient and Type-Safe Generic Data Storage
Electronic Notes in Theoretical Computer Science (ENTCS)
When generic functions use dynamic values
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Towards a strongly typed functional operating system
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Embedding a web-based workflow management system in a functional language
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
A typical synergy: dynamic types and generalised algebraic datatypes
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Proceedings of the 4th ACM symposium on Haskell
Orthogonal serialisation for Haskell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Generating applications from object role models
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
The feasibility of interactively probing quiescent properties of GUI applications
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Dynamic construction of generic functions
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
A functional shell that dynamically combines compiled code
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
GEC: a toolkit for generic rapid prototyping of type safe interactive applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A functional shell that operates on typed and compiled applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
GiN: a graphical language and tool for defining itask workflows
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Task-oriented programming in a pure functional language
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |
In this paper we explain how dynamics can be communicated between independently programmed Clean applications. This is an important new feature of Clean because it allows type safe exchange of both data and code. In this way mobile code and plug-ins can be realized easily. The paper discusses the most important implementation problems and their solutions in the context of a compiled lazy functional language. The implemented solution reflects the lazy semantics of the language in an elegant way and is moreover quite efficient. The resulting rather complex system in which dynamics can depend on other dynamics, is effectively hidden from the user by allowing her to view dynamics as "typed files" that can be manipulated like ordinary files.