default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
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.
last updated on 2025-12-05 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
