Formal Language Recognition with the Java Type Checker [pdf] #1 Post by DrJohanson » Thu, Sep 08, 2016, 2:37 AM UTC Formal Language Recognition with the Java Type Checker [pdf]drops.dagstuhl.de