TyS

A Framework to Facilitate the Development of Object-Oriented Type Checkers

  • Francisco Ortin
  • University of Oviedo, Spain
  • Associate Professor. BSc in Computer Science. MS in Computer Engineer. PhD in Computational Reflection over Abstract Machines. Principal Investigator, project coordinator, software architect.
  • Daniel Zapico
  • University of Oviedo, Spain
  • PhD Student. BSc in Computer Science. MS in Computer Engineer. He presented this project as his Master Thesis. Main researcher, software engineer and main developer.
  • Jose Quiroga
  • University of Oviedo, Spain
  • Research Assistant. BSc in Computer Science. MS in Computer Engineer.