swMATH28847MaRDI QIDQ40561FDOQ40561
Author name not available (Why is that?)
Official website: http://links-lang.org/
Source code repository: https://github.com/links-lang/links
Cited In (62)
- Kalas
- Pirouette
- A theory of RPC calculi for client-server model
- Wysteria
- 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
- Type-based access control in data-centric systems
- Information flow analysis for valued-indexed data security compartments
- Ivor
- GHC
- A multi-tier semantics for Hop
- Facile
- Jwig
- Alfalfa
- Camlflow
- BER MetaOCaml
- iTasks
- AoPA
- criterion
- Frank
- ScalaQL
- Drools
- TS#
- AIOCJ
- Ur/Web
- Eliom
- Ocsigen
- Koka
- Hop.js
- Flapjax
- Hop
- Eff
- js_of_ocaml
- Opa
- Kleisli
- HoTTSQL
- F*
- JSLINQ
- TaintDroid
- SeLINQ
- LogicBlox
- MiniML
- TryLinks
- Lwt
- parsec
- Shonky
- Trifecta
- indentation
- Static consistency checking of web applications with WebDSL
- Comprehending Ringads
- 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
