Skip to main content

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | C | H | J | K | L | M | O | P | S | T | V
Number of items: 17.

B

Boiten, Eerke Albert (2003) Book review: Concepts in Programming Languages, by John Mitchell. Review of: Concepts in Programming Languages by Mitchell, John. Journal of Functional Programming, 13 (6). pp. 1087-1088. ISSN 0956-7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13886)

Boiten, Eerke Albert (2012) Book review: Modeling in Event-B by Jean-Raymond Abrial. Review of: Modeling in Event-B by Abrial, Jean-Raymond. Journal of Functional Programming, 22 (2). pp. 217-221. ISSN 0956-7968. (doi:10.1017/S0956796812000081) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30820)

C

Chitil, Olaf (2009) Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. Review of: Essentials of Programming Languages by Friedman, Daniel P and Wand, Mitchell. Journal of Functional Programming, 19 (6). pp. 723-725. (doi:10.1017/S0956796809007357) (KAR id:58190)
[img]
Preview

H

Hartel, Pieter H., Feeley, Marc, Jones, Richard E., Thomas, Stephen P. (1996) Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. Journal of Functional Programming, 6 (4). pp. 621-655. ISSN 0956--7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21356)

Hanna, Keith (1999) Implementing Theorem Provers in a Purely Functional Style. Journal of Functional Programming, 9 (2). pp. 147-166. (doi:10.1017/S095679689900338X) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21857)

J

Jones, Richard E. (1992) Tail recursion without Space Leaks. Journal of Functional Programming, 2 (1). pp. 73-79. ISSN 0956--7968. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21074)

K

Kahrs, Stefan (2001) Red-black trees with types. Journal of Functional Programming, 11 (4). pp. 425-432. (doi:10.1017/S0956796801004026) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13587)

L

Lins, Rafael D., Thompson, Simon, Jones, Simon L. Peyton (1994) On the Equivalence Between CMC and TIM. Journal of Functional Programming, 1 (4). (doi:10.1017/S0956796800000939) (KAR id:21166)
[img]
Preview
[img]
Preview

M

Myreen, Magnus O., Owens, Scott (2014) Proof-producing translation of higher-order logic into pure and stateful ML. Journal of Functional Programming, 24 (2-3). pp. 284-315. ISSN 0956-7968. (doi:10.1017/S0956796813000282) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:36712)

O

Orchard, Dominic A. (2014) Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger. Review of: Computational Semantics with Functional Programming by van Eijck, Jan and Unger, Christina. Journal of Functional Programming, 24 (4). pp. 524-527. ISSN 0956-7968. E-ISSN 1469-7653. (doi:10.1017/S0956796814000057) (KAR id:57485)
[img]
Preview

Owens, Scott, Reppy, John, Turon, Aaron (2009) Regular-expression Derivatives Re-examined. Journal of Functional Programming, 19 (2). pp. 173-190. ISSN 0956-7968. (doi:10.1017/S0956796808007090) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31906)

P

Poll, Erik (1998) Expansion Postponement for Normalising Pure Type Systems. Journal of Functional Programming, 8 (1). pp. 89-96. ISSN 0956-7968. (KAR id:21695)
[img]
Preview
[img]
Preview

S

Swierstra, S. Doaitse, Chitil, Olaf (2009) Linear, bounded, functional pretty-printing. Journal of Functional Programming, 19 (01). pp. 1-16. ISSN 0956-7968. (doi:10.1017/S0956796808006990) (KAR id:24041)
[img]
Preview

Sewell, Peter, Zappa Nardelli, Francesco, Owens, Scott, Peskine, Gilles, Ridge, Thomas, Sarkar, Susmit, StrniĊĦa, Rok (2010) Ott: Effective Tool Support for the Working Semanticist. Journal of Functional Programming, 20 (1). pp. 71-122. ISSN 0956-7968. (doi:10.1017/S0956796809990293) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31902)

T

Thompson, Simon, Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (doi:10.1017/S0956796813000117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42312)

Tan, Yong Kiam, Myreen, Magnus O., Kumar, Ramana, Fox, Anthony, Owens, Scott, Norrish, Michael (2019) The Verified CakeML Compiler Backend. Journal of Functional Programming, 29 . ISSN 0956-7968. (doi:10.1017/S0956796818000229) (KAR id:71304)
[img]
Preview

V

Voigtlander, Janis, Hu, Zhenjiang, Matsuda, Kazutaka, Wang, Meng (2013) Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming, 23 (05). pp. 515-551. ISSN 0956-7968. (doi:10.1017/S0956796813000130) (KAR id:47481)
[img]
Preview

This list was generated on Tue Jul 14 23:22:05 2020 BST.
Feedback