![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
The Journal of Functional Programming, Volume 10
Volume 10, Number 1, January 2000
- Erik Meijer:
Server side web scripting in Haskell. 1-18 - Limsoon Wong:
Kleisli, a functional query system. 19-56 - Yang Jung, Greg Michaelson:
A visualisation of polymorphic type checking. 57-75 - Masahito Hasegawa
:
Girard translation and logical predicates. 77-89 - Mark Hayden:
Distributed communication in ML. 91-120
- Henk Barendregt, Silvia Ghilezan:
Lambda terms for natural deduction, sequent calculus and cut elimination. 121-134
Volume 10, Number 2, March 2000
- Gustavo Betarte:
Type checking dependent (record) types and subtyping. 137-166 - Gavin M. Bierman:
Program equivalence in a linear functional language. 167-190 - Paul F. Hoogendijk, Oege de Moor:
Container types categorically. 191-225
Volume 10, Number 3, May 2000
- Nikolaos Papaspyrou
, Dragan Macos:
A study of evaluation order semantics in expressions with side effects. 227-244 - Simon J. Thompson:
A functional reactive animation of a lift using Fran. 245-268 - Xavier Leroy:
A modular module system. 269-303
- Ralf Hinze:
Perfect trees and bit-reversal permutations. 305-317
Volume 10, Number 4, July 2000
- Bruno Guillaume:
The lambda-se-calculus does not preserve strong normalisation. 321-325 - Ralf Hinze:
Generalizing generalized tries. 327-351 - Manuel Serrano:
Bee: an integrated development environment for the Scheme programming language. 353-395
- J. Michael Spivey:
Combinators for breadth-first search. 397-408 - Daniel Fridlender, Mia Indrika:
Do we need dependent types? 409-415
Volume 10, Number 5, September 2000
- Gilles Barthe, Morten Heine Sørensen:
Domain-free pure type systems. 417-452 - Joachim Niehren:
Uniform confluence in concurrent computation. 453-499
Volume 10, Number 6, November 2000
- Ferruccio Damiani, Paola Giannini
:
Automatic useless-code elimination for HOT functional programs. 509-559 - Pascal Fradet, Julien Mallet:
Compilation of a specialized functional language for massively parallel computers. 561-605 - Mayer Goldberg:
Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. 607-623
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.