Type and Effect Systems | lit.salon