70-luvun lopulla Robin Milner yhdisti tyyppiteorian ja teoreemantodistajien tutkimusta konkreettiseen funktionaaliseen ohjelmointiin.
sˌeitsemˌæŋkymmentælˈuvun lopˈulla rˈobɪn mˈilner yhdˈistɪ tːˌyːpːɪtˌeorˈian ja tˌeorˌeːmantodɪstˈajien tˌutkɪmˈusta kˌoŋkreːtːˈiseːn fˌuŋktɪonaːlˈiseːn ˌohjelmˈointɪːn.