|
OK, here it is - I've only looked for links down to Hoogendijk and Moor. The buttons do automated searches. If anyone feels like helping, please post resolved papers and I'll collate later.
I won't be doing much more for a while - some regulators will be arriving today, so I can get back to building my power supply! (I'm building an amplifier so don't have much time for looking for links at the moment - sorry).
Also, I was going to include the script, but am worried that I'm already posting an unusually long message (especially as some people get email summaries). If anyone wants to do other years, please do ask for the script (which builds the basic page below from the JFP contents).
Links to papers in
JFP
2000
Meijer Server side web scripting in Haskell
Wong Kleisli, a functional query system
Jung Michaelson A visualisation of polymorphic type checking
Hasegawa Girard translation and logical predicates
Hayden Distributed communication in ML
Barendregt Ghilezan Theoretical Pearl: Lambda terms for natural deduction, sequent calculus and cut elimination
Betarte Type checking dependent (record)types and subtyping
Bierman Program equivalence in a linear functional language
Hoogendijk Moor Container types categorically
Papaspyrou Macos A study of evaluation order semantics in expressions with side effects
Thompson A functional reactive animation of a lift using Fran
Leroy A modular module system
Hinze Functional Pearl: Perfect trees and bit-reversal permutations
Guillaume The lambda s_e calculus does not preserve stron normalisation
Hinze Generalizing generalized tries
Serrano Bee: an integrated development environment for the Scheme programming language
Spivey Functional Pearl: Combinators for breadth-first search
Fridlender Indrika Functional Pearl: Do we need dependent types?
Barthe Sorensen Domain-free pure type systems
Niehren Uniform confluence in concurrent computation
Damiani Giannini Automatic useless-code elimination for HOT functional programs
Fradet Mallet Compilation of a specialized functional language for massively parallel computers
Goldberg Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus
| 
Links to JFP Papers