25 results
Automatic Differentiation in Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 06 July 2023, pp. 900-917
-
- Article
- Export citation
Disjunctive Delimited Control
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 1 / January 2024
- Published online by Cambridge University Press:
- 11 April 2023, pp. 110-131
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
12 - Quantitative Information Flow with Monads in Haskell
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 391-448
-
- Chapter
-
- You have access
- Open access
- Export citation
Faster coroutine pipelines: A reconstruction
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 03 August 2020, e22
-
- Article
-
- You have access
- Export citation
Generalized monoidal effects and handlers
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 28 July 2020, e23
-
- Article
-
- You have access
- Export citation
Explicit effect subtyping
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 08 June 2020, e15
-
- Article
-
- You have access
- Export citation
COCHIS: Stable and coherent implicits
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 08 February 2019, e3
-
- Article
-
- You have access
- Export citation
Observer-rated retardation but not agitation corresponds to objective motor measures in depression
-
- Journal:
- Acta Neuropsychiatrica / Volume 30 / Issue 6 / December 2018
- Published online by Cambridge University Press:
- 30 July 2018, pp. 359-364
-
- Article
- Export citation
Prediction of Electroconvulsive Therapy Response and Remission in Major Depression: Meta-analysis – CORRIGENDUM
-
- Journal:
- The British Journal of Psychiatry / Volume 212 / Issue 5 / May 2018
- Published online by Cambridge University Press:
- 03 April 2018, p. 322
- Print publication:
- May 2018
-
- Article
-
- You have access
- HTML
- Export citation
Clinical validation of the Psychotic Depression Assessment Scale (PDAS) against independent global severity ratings in older adults
-
- Journal:
- Acta Neuropsychiatrica / Volume 30 / Issue 4 / August 2018
- Published online by Cambridge University Press:
- 04 March 2018, pp. 203-208
-
- Article
- Export citation
Prediction of electroconvulsive therapy response and remission in major depression: meta-analysis
-
- Journal:
- The British Journal of Psychiatry / Volume 212 / Issue 2 / February 2018
- Published online by Cambridge University Press:
- 01 February 2018, pp. 71-80
- Print publication:
- February 2018
-
- Article
-
- You have access
- HTML
- Export citation
Tabling with Sound Answer Subsumption
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 933-949
-
- Article
- Export citation
Efficient algebraic effect handlers for Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 884-898
-
- Article
- Export citation
Tabling as a library with delimited control
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 419-433
-
- Article
-
- You have access
- Export citation
Introduction to the 30th International Conference on Logic Programming Special Issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 401-414
-
- Article
- Export citation
Delimited continuations for prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 533-546
-
- Article
- Export citation
MRI: Modular reasoning about interference in incremental programming
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 11 October 2012, pp. 797-852
-
- Article
-
- You have access
- Export citation
SWI-Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 1-2 / January 2012
- Published online by Cambridge University Press:
- 12 September 2011, pp. 67-96
-
- Article
- Export citation
OutsideIn(X) Modular type inference with local assumptions
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 16 May 2011, pp. 333-412
-
- Article
-
- You have access
- Export citation
As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 22 December 2009, pp. 1-47
-
- Article
- Export citation