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 typat funktionellt programmeringsspråk för webbapplikationer.
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']}