Links
From MaRDI portal
Software:40561
No author found.
Source code repository: https://github.com/links-lang/links
Related Items (20)
Unnamed Item ⋮ Eliom: A Core ML Language for Tierless Web Programming ⋮ Comprehending Ringads ⋮ A Branding Strategy for Business Types ⋮ Capability-based localization of distributed and heterogeneous queries ⋮ A multi-tier semantics for Hop ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Static consistency checking of web applications with WebDSL ⋮ Effect handlers via generalised continuations ⋮ Doo bee doo bee doo ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Generic multiset programming with discrimination-based joins and symbolic Cartesian products ⋮ Type-Based Access Control in Data-Centric Systems ⋮ The complexity of higher-order queries ⋮ Formal methods for web security ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ A theory of RPC calculi for client–server model ⋮ Information Flow Analysis for Valued-Indexed Data Security Compartments ⋮ Continuation passing style for effect handlers ⋮ Programming Languages For Interactive Computing
This page was built for software: Links
