References in zbMATH (referenced in 23 articles )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig: Doo bee doo bee doo (2020)
  2. Hillerström, Daniel; Lindley, Sam; Atkey, Robert: Effect handlers via generalised continuations (2020)
  3. Choi, Kwanghoon; Chang, Byeong-Mo: A theory of RPC calculi for client-server model (2019)
  4. Junao Wu, Arek Mikolajczak, James Cheney: TryLinks: An interactive tutorial system for a cross-tier Web programming language (2019) arXiv
  5. Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo: Formal methods for web security (2017)
  6. Costa Seco, João; Ferreira, Paulo; Lourenço, Hugo: Capability-based localization of distributed and heterogeneous queries (2017)
  7. Hillerström, Daniel; Lindley, Sam; Atkey, Robert; Sivaramakrishnan, K. C.: Continuation passing style for effect handlers (2017)
  8. Kammar, Ohad; Pretnar, Matija: No value restriction is needed for algebraic effects and handlers (2017)
  9. Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo: Dynamic choreographies: theory and implementation (2017)
  10. Gibbons, Jeremy: Comprehending ringads. For Phil Wadler, on the occasion of his 60th birthday (2016)
  11. Radanne, Gabriel; Vouillon, Jérôme; Balat, Vincent: \textscEliom: a core ML language for tierless web programming (2016)
  12. Shinnar, Avraham; Siméon, Jérôme: A branding strategy for business types (2016)
  13. Benedikt, Michael; Puppis, Gabriele; Vu, Huy: The complexity of higher-order queries (2015)
  14. Lourenço, Luísa; Caires, Luís: Information flow analysis for valued-indexed data security compartments (2014)
  15. Domoszlai, László; Kozsik, Tamás: Clean up the web! Rapid client-side web development with Clean (2013) ioport
  16. Caires, Luís; Pérez, Jorge A.; Seco, João Costa; Vieira, Hugo Torres; Ferrão, Lúcio: Type-based access control in data-centric systems (2011)
  17. Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C. L.; Visser, Eelco: Static consistency checking of web applications with WebDSL (2011)
  18. Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)
  19. Henglein, Fritz; Larsen, Ken Friis: Generic multiset programming with discrimination-based joins and symbolic Cartesian products (2010)
  20. Serrano, Manuel; Queinnec, Christian: A multi-tier semantics for Hop (2010)

1 2 next