An efficient hybrid static and dynamic typing programming language

The following publications describe different aspects of the StaDyn programming language:

  • Supporting Dynamic and Static Typing by means of Union and Intersection Types.
  • Francisco Ortin, Miguel Garcia.
  • IEEE International Conference on Progress in Informatics and Computing (PIC), Shanghai (China).
  • December 2010.
  • A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production.
  • Francisco Ortin, Daniel Zapico, Miguel Garcia.
  • 5th International Conference on Software and Data Technologies (ICSOFT), Athens (Greece).
  • July 2010.