M Umeda, R Naruse, H Sone, K Katamine - International Conference on …, 2011 - Springer
… based on binarization [18], while P# [19] is a Prolog to C# translator based on Prolog Cafe
with concurrent extensions. The binarization with continuation passing is a useful idea for …