Cited in
(63)- Wysteria
- A theory of RPC calculi for client-server model
- 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
- WebDSL
- Ivor
- GHC
- 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
- A multi-tier semantics for Hop
- Static consistency checking of web applications with WebDSL
- Comprehending Ringads
- Kalas
- Pirouette
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- The complexity of higher-order queries
- A Branding Strategy for Business Types
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products
- Formal methods for web security
- Capability-based localization of distributed and heterogeneous queries
- 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
