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