En este curso introduciremos los aspectos fundacionales de tipos comportamentales y contratos de órden superior y presentaremos extensiones de lenguajes de programación con tales características