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

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/ http://lucacardelli.name/ [2] https://www.youtube.com/watch?v=o8q7kFeGUTM https://www.youtube.com/watch?v=o8q7kFeGUTM