Learn More
We propose a component programming language called FLAC, <i>Functional Language for Adaptable Components</i>, on top of a functional programming language which authorizes full adaptability of components while ensuring type safety. The langage is given together with a type system that offers a complete static type ckecking of any programs (including(More)
  • 1