kirancodes.me
To Proof Maintenance & Beyond!
Venues / JFP /

JFP 2003

67 papers

  1. "Algorithms: A Functional Programming Approach" by Fethi Rabhi and Guy Lapalme, Addison-Wesley, 1999, ISBN 0-201-59604-0, xi + 235pp · Dan Russell
  2. "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5 · Eerke A. Boiten
  3. "Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001 · Walid Taha
  4. "Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001 · Gaétan Hains
  5. "Structure and Interpretation of Classical Mechanics" by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer, The MIT Press; 2001, ISBN 0262194554 · Jerzy Karczmarczuk
  6. "The World of Scripting Languages" by David W. Barron, John Wiley & Sons, 2000, ISBN 0-471-99886-9 · Bryn Keller
  7. "Trends in Functional Programming" (volumes 1 & 2) by Greg Michaelson, Phil Trinder and Hans-Wolfgang Loidl (editors volume 1), and Stephen Gilmore (editor volume 2). Intellect Books, Bristol, 2001, 2002 · Chris Angus
  8. A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis · Christine Röckl, Daniel Hirschkoff
  9. AutoBayes: a system for generating data analysis programs from statistical models · Bernd Fischer, Johann Schumann
  10. CPS transformation of flow information · Jens Palsberg, Mitchell Wand
  11. CPS transformation of flow information, Part II: administrative reductions · Daniel Damian, Olivier Danvy
  12. Closed types for a safe imperative MetaML · Cristiano Calcagno, Eugenio Moggi, Tim Sheard
  13. Compiling embedded languages · Conal Elliott, Sigbjørn Finne, Oege de Moor
  14. Compiling for template-based run-time code generation · Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
  15. First-order unification by structural recursion · Conor McBride
  16. Formatting: a class act · Ralf Hinze
  17. Haskell 98 Libraries: Arrays · Simon L. Peyton Jones
  18. Haskell 98 Libraries: Bibliography · Simon L. Peyton Jones
  19. Haskell 98 Libraries: CPU Time · Simon L. Peyton Jones
  20. Haskell 98 Libraries: Character Utilities · Simon L. Peyton Jones
  21. Haskell 98 Libraries: Complex Numbers · Simon L. Peyton Jones
  22. Haskell 98 Libraries: Dates and Times · Simon L. Peyton Jones
  23. Haskell 98 Libraries: Directory Functions · Simon L. Peyton Jones
  24. Haskell 98 Libraries: Indexing Operations · Simon L. Peyton Jones
  25. Haskell 98 Libraries: Input/Output · Simon L. Peyton Jones
  26. Haskell 98 Libraries: List Utilities · Simon L. Peyton Jones
  27. Haskell 98 Libraries: Locales · Simon L. Peyton Jones
  28. Haskell 98 Libraries: Maybe Utilities · Simon L. Peyton Jones
  29. Haskell 98 Libraries: Monad Utilities · Simon L. Peyton Jones
  30. Haskell 98 Libraries: Numeric Functions · Simon L. Peyton Jones
  31. Haskell 98 Libraries: Random Numbers · Simon L. Peyton Jones
  32. Haskell 98 Libraries: Rational Numbers · Simon L. Peyton Jones
  33. Haskell 98 Libraries: System Functions · Simon L. Peyton Jones
  34. Haskell 98: Basic Input/Output · Simon L. Peyton Jones
  35. Haskell 98: Compiler Pragmas · Simon L. Peyton Jones
  36. Haskell 98: Declarations and Bindings · Simon L. Peyton Jones
  37. Haskell 98: Expressions · Simon L. Peyton Jones
  38. Haskell 98: Introduction · Simon L. Peyton Jones
  39. Haskell 98: Lexical Structure · Simon L. Peyton Jones
  40. Haskell 98: Modules · Simon L. Peyton Jones
  41. Haskell 98: Predefined Types and Classes · Simon L. Peyton Jones
  42. Haskell 98: Specification of Derived Instances · Simon L. Peyton Jones
  43. Haskell 98: Standard Prelude · Simon L. Peyton Jones
  44. Haskell 98: Syntax Reference · Simon L. Peyton Jones
  45. Haskell in Space · Christoph Lüth
  46. Inlining as staged computation · Stefan Monnier, Zhong Shao
  47. On bunched typing · Peter W. O'Hearn
  48. PAL+: a lambda-free logical framework · Zhaohui Luo
  49. Pragmatic aspects of reusable program generators · Norman Ramsey
  50. Producing all ideals of a forest, functionally · Jean-Christophe Filliâtre, François Pottier
  51. Program specialization for execution monitoring · Peter Thiemann
  52. Programming graphical user interfaces with Scheme · Erick Gallesio, Manuel Serrano
  53. Regular expression pattern matching for XML · Haruo Hosoya, Benjamin C. Pierce
  54. Semantics, Applications, and Implementation of Program Generation · Walid Taha
  55. Setoids in type theory · Gilles Barthe, Venanzio Capretta, Olivier Pons
  56. Short cut fusion is correct · Patricia Johann
  57. Single Assignment C: efficient support for high-level array operations in a functional setting · Sven-Bodo Scholz
  58. Special issue on 'Logical frameworks and metalanguages' · Gérard P. Huet
  59. Specification and correctness of lambda lifting · Adam Fischbach, John Hannan
  60. Stack-based typed assembly language · J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
  61. Syntactic accidents in program analysis: on the impact of the CPS transformation · Daniel Damian, Olivier Danvy
  62. Termination of rewriting in the Calculus of Constructions · Daria Walukiewicz-Chrzaszcz
  63. The Educational Pearls column · Simon L. Peyton Jones, Philip Wadler
  64. Theoretical Pearls · Chris Okasaki
  65. TinkerType: a language for playing with formal systems · Michael Y. Levin, Benjamin C. Pierce
  66. Verification of non-functional programs using interpretations in type theory · Jean-Christophe Filliâtre
  67. Welcome to the Educational Pearls Column · Matthias Felleisen