The following pages link to Links (Q40561):
Displaying 20 items.
- The complexity of higher-order queries (Q498405) (← links)
- Formal methods for web security (Q511944) (← links)
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- A multi-tier semantics for Hop (Q1929340) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Information Flow Analysis for Valued-Indexed Data Security Compartments (Q2830034) (← links)
- Programming languages for interactive computing (Q2864508) (← links)
- (Q2974797) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- Eliom: A Core ML Language for Tierless Web Programming (Q3179305) (← links)
- Comprehending Ringads (Q3188283) (← links)
- A Branding Strategy for Business Types (Q3188296) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- A theory of RPC calculi for client–server model (Q4972065) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)