1050 results in Journal of Functional Programming
Correspondence assertions for process synchronization in concurrent communications
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, pp. 219-247
-
- Article
-
- You have access
- Export citation
Noninterference through flow analysis
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, pp. 293-349
-
- Article
-
- You have access
- Export citation
“Language-Based Security”
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, p. 129
-
- Article
-
- You have access
- Export citation
Stack-based access control and secure information flow
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, pp. 131-177
-
- Article
-
- You have access
- Export citation
A monadic analysis of information flow security with mutable state
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, pp. 249-291
-
- Article
-
- You have access
- Export citation
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 4 / July 2005
- Published online by Cambridge University Press:
- 07 January 2005, pp. 573-614
-
- Article
-
- You have access
- Export citation
Deciding validity in a spatial logic for trees
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 4 / July 2005
- Published online by Cambridge University Press:
- 05 January 2005, pp. 543-572
-
- Article
-
- You have access
- Export citation
Embedded interpreters
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 4 / July 2005
- Published online by Cambridge University Press:
- 05 January 2005, pp. 503-542
-
- Article
-
- You have access
- Export citation
An intuitionistic λ-calculus with exceptions
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 08 December 2004, pp. 33-52
-
- Article
-
- You have access
- Export citation
THEORETICAL PEARL Church numerals, twice!
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 08 December 2004, pp. 1-13
-
- Article
-
- You have access
- Export citation
Non-determinism analyses in a parallel-functional language
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 08 December 2004, pp. 67-100
-
- Article
-
- You have access
- Export citation
Web programming in Scheme with LAML
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 08 December 2004, pp. 53-65
-
- Article
-
- You have access
- Export citation
Lambda and pi calculi, CAM and SECD machines
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 08 December 2004, pp. 101-127
-
- Article
-
- You have access
- Export citation
Models for machine learning and data mining in functional programming
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 08 December 2004, pp. 15-32
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Pickler combinators
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 727-739
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Functional chart parsing of context-free grammars
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 669-680
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Derivation of a logarithmic time carry lookahead addition circuit
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 697-713
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Composing fractals
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 715-725
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Inverting the Burrows–Wheeler transform
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 603-612
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 623-633
-
- Article
-
- You have access
- Export citation