The JStar language philosophy.

Mark Utting, Min-Hsien Weng, John G. Cleary

Browse the full PPoPP paper archive.