JFP 2000

23 papers

1. A functional reactive animation of a lift using Fran · Simon J. Thompson
2. A modular module system · Xavier Leroy
3. A study of evaluation order semantics in expressions with side effects · Nikolaos Papaspyrou, Dragan Macos
4. A visualisation of polymorphic type checking · Yang Jung, Greg Michaelson
5. Automatic useless-code elimination for HOT functional programs · Ferruccio Damiani, Paola Giannini
6. Bee: an integrated development environment for the Scheme programming language · Manuel Serrano
7. Combinators for breadth-first search · J. Michael Spivey
8. Compilation of a specialized functional language for massively parallel computers · Pascal Fradet, Julien Mallet
9. Container types categorically · Paul F. Hoogendijk, Oege de Moor
10. Distributed communication in ML · Mark Hayden
11. Do we need dependent types? · Daniel Fridlender, Mia Indrika
12. Domain-free pure type systems · Gilles Barthe, Morten Heine Sørensen
13. Generalizing generalized tries · Ralf Hinze
14. Girard translation and logical predicates · Masahito Hasegawa
15. Kleisli, a functional query system · Limsoon Wong
16. Lambda terms for natural deduction, sequent calculus and cut elimination · Henk Barendregt, Silvia Ghilezan
17. Perfect trees and bit-reversal permutations · Ralf Hinze
18. Program equivalence in a linear functional language · Gavin M. Bierman
19. Server side web scripting in Haskell · Erik Meijer
20. The lambda-se-calculus does not preserve strong normalisation · Bruno Guillaume
21. Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus · Mayer Goldberg
22. Type checking dependent (record) types and subtyping · Gustavo Betarte
23. Uniform confluence in concurrent computation · Joachim Niehren