Abstrakt. Länkar är ett programmeringsspråk för webbapplikationer som genererar kod för alla tre nivåer av en webbapplikation från en enda källa, kompilera till JavaScript för att köra på klienten och in i SQL för att köra på databasen. Länkar stöder rika klienter som kör i vad som har kallats 'Ajax' stil, och stöder samtidiga processer med statiskt typade meddelande passerar. Länkar är skalbara i den meningen att sessionstillståndet bevaras i klienten snarare än servern, i motsats till andra metoder som Java Servlets eller PLT Scheme. Konvergens på klientsidan i JavaScript och överföring av beräkning mellan klient och server stöds båda genom översättning till fortsättningspasserande stil.
Länkar REF är ett programmeringsspråk som är utformat för att utveckla webbapplikationer som inkluderar ett genomförande av typad meddelande-passing-konvergens som bygger på ett effekt typsystem.
Links: Web programming without tiers
{'venue': 'In 5th International Symposium on Formal Methods for Components and Objects (FMCO', 'journal': None, 'mag_field_of_study': ['Computer Science']}