Login / Signup

"May you have a Strong (-typed) Foundation" why Strong-typed Programming Languages do Matter.

Nicola TomatisRoberto BregaGabrio RiveraRoland Siegwart
Published in: ICRA (2004)
Keyphrases
  • programming language
  • lambda calculus
  • object oriented
  • high level
  • general purpose
  • higher order
  • software engineering
  • logic programming
  • complex objects
  • object oriented programming
  • stored procedures
  • strongly typed