Yes, that's possible and a subject of active research. Have a look at Luca Cardelli's website [1]. He's probably the leading researcher in this field. He's got quite a few talks online e.g. [2].

[1] http://lucacardelli.name/

[2] https://www.youtube.com/watch?v=o8q7kFeGUTM