Σε αυτήν τη διπλωματική εργασία διερευνάται η αλληλεπίδραση ενός γραμμικού συστήματος τύπων που υποστηρίζει την προσωρινή μετατροπή γραμμικών σε μη-περιορισμένους τύπους και του στυλ περάσματος συνεχειών (continuation-passing ...