ThieleckeHayo

发表

A Type-theoretic Reconstruction of the Visitor Pattern

BuchlovskyPeter, ThieleckeHayo, 2006 .

On the semantics of parsing actions

ThieleckeHayo, 2014 .

An Introduction to Landins A Generalization of Jumps and Labels

ThieleckeHayo, 1998 .

Using a Continuation Twice and Its Implications for the Expressive Power of call/cc

ThieleckeHayo, 1999 .