Journal of Functional Programming - researchr journal

researchr

You are not signed in
Sign in
Sign up

509	--	559	Ferruccio Damiani, Paola Giannini. Automatic useless-code elimination for HOT functional programs
561	--	605	Pascal Fradet, Julien Mallet. Compilation of a specialized functional language for massively parallel computers
607	--	623	Mayer Goldberg. Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus

417	--	452	Gilles Barthe, Morten Heine Sørensen. Domain-free pure type systems
453	--	499	Joachim Niehren. Uniform confluence in concurrent computation

321	--	325	Bruno Guillaume. The lambda-se-calculus does not preserve strong normalisation
327	--	351	Ralf Hinze. Generalizing generalized tries
353	--	395	Manuel Serrano. Bee: an integrated development environment for the Scheme programming language
397	--	408	J. Michael Spivey. Combinators for breadth-first search
409	--	415	Daniel Fridlender, Mia Indrika. Do we need dependent types?

227	--	244	Nikolaos Papaspyrou, Dragan Macos. A study of evaluation order semantics in expressions with side effects
245	--	268	Simon J. Thompson. A functional reactive animation of a lift using Fran
269	--	303	Xavier Leroy. A modular module system
305	--	317	Ralf Hinze. Perfect trees and bit-reversal permutations

137	--	166	Gustavo Betarte. Type checking dependent (record) types and subtyping
167	--	190	Gavin M. Bierman. Program equivalence in a linear functional language
191	--	225	Paul F. Hoogendijk, Oege de Moor. Container types categorically

1	--	18	Erik Meijer. Server side web scripting in Haskell
19	--	56	Limsoon Wong. Kleisli, a functional query system
57	--	75	Yang Jung, Greg Michaelson. A visualisation of polymorphic type checking
77	--	89	Masahito Hasegawa. Girard translation and logical predicates
91	--	120	Mark Hayden. Distributed communication in ML
121	--	134	Henk Barendregt, Silvia Ghilezan. Lambda terms for natural deduction, sequent calculus and cut elimination

runs on WebDSL