Browse by Journal
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)
|
|
C
H
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)
|
|
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)
|
|
L
M
O
P
S
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)
|
|
T
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)
|
![[img]](/71304/1.hassmallThumbnailVersion/paper.pdf)  Preview |
|
V
This list was generated on Sun Dec 15 23:02:42 2019 GMT.
|