JFP 2005

29 papers

1. "Language-Based Security" · Martín Abadi, Greg Morrisett, Andrei Sabelfeld
2. A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger · Gérard P. Huet
3. A monadic analysis of information flow security with mutable state · Karl Crary, Aleksey Kliger, Frank Pfenning
4. A parallel SML compiler based on algorithmic skeletons · Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow
5. An intuitionistic [lambda]-calculus with exceptions · René David, Georges Mounier
6. Church numerals, twice! · Ralf Hinze
7. Correspondence assertions for process synchronization in concurrent communications · Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
8. Countdown: A case study in Origami programming · Richard S. Bird, Shin-Cheng Mu
9. Deciding validity in a spatial logic for trees · Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
10. Educational Pearl: A Nanopass framework for compiler education · Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig
11. Embedded interpreters · Nick Benton
12. Interfaces for stack inspection · Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen
13. Lambda and pi calculi, CAM and SECD machines · Vasco Thudichum Vasconcelos
14. Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis · Edward A. Luke, Thomas George
15. Meta-programming through typeful code representation · Chiyan Chen, Hongwei Xi
16. Models for machine learning and data mining in functional programming · Lloyd Allison
17. Non-determinism analyses in a parallel-functional language · Ricardo Peña-Marí, Clara Segura
18. Noninterference through flow analysis · Kohei Honda, Nobuko Yoshida
19. Parallel functional programming in Eden · Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
20. Quantitative static analysis of distributed systems · Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
21. Shared memory multiprocessor support for functional array processing in SAC · Clemens Grelck
22. Skribe: a functional authoring language · Erick Gallesio, Manuel Serrano
23. Stack-based access control and secure information flow · Anindya Banerjee, David A. Naumann
24. Staged computation with names and necessity · Aleksandar Nanevski, Frank Pfenning
25. The logic of demand in Haskell · William L. Harrison, Richard B. Kieburtz
26. Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof · Peter Møller Neergaard
27. Typed lambda-calculi with one binder · Fairouz Kamareddine
28. VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming · Víctor M. Gulías, Miguel Barreiro, José Luis Freire
29. Web programming in Scheme with LAML · Kurt Nørmark