Första klassens fortsättningar är en kraftfull beräkningseffekt, vilket gör det möjligt för programmeraren att uttrycka alla former av hoppning. Typer och effektsystem kan användas för att resonera om fortsättningar, både i källspråket och i målspråket för den fortsatta omvandlingen. I detta dokument etablerar vi kopplingen mellan ett effektsystem för förstklassiga fortsättningar och maskinskrivna versioner av fortsättningsstil. En region i effektsystemet bestämmer en lokal svarstyp för fortsättningar, så att fortsättning transformerar av rena uttryck är parametriskt polymorphic i deras svarstyper. Vi använder denna polymorfism för att härleda transformer som utnyttjar effektinformation, i synnerhet en blandad linjär/icke-linjär fortsättningstransform, där uttryck utan kontrolleffekter överförs linjärt.
Ett typ- och effektsystem för fullständiga fortsättningar har presenterats av REF.
From control effects to typed continuation passing
{'venue': "POPL '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}