default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 13
Volume 13, Number 1, January 2003
I The Haskell 98 Language
- Simon L. Peyton Jones:
Haskell 98: Introduction. 0-6 - Simon L. Peyton Jones:
Haskell 98: Lexical Structure. 7-16 - Simon L. Peyton Jones:
Haskell 98: Expressions. 17-38 - Simon L. Peyton Jones:
Haskell 98: Declarations and Bindings. 39-66 - Simon L. Peyton Jones:
Haskell 98: Modules. 67-80 - Simon L. Peyton Jones:
Haskell 98: Predefined Types and Classes. 81-96 - Simon L. Peyton Jones:
Haskell 98: Basic Input/Output. 97-102 - Simon L. Peyton Jones:
Haskell 98: Standard Prelude. 103-124 - Simon L. Peyton Jones:
Haskell 98: Syntax Reference. 125-138 - Simon L. Peyton Jones:
Haskell 98: Specification of Derived Instances. 139-144 - Simon L. Peyton Jones:
Haskell 98: Compiler Pragmas. 145-146
- Simon L. Peyton Jones:
Haskell 98 Libraries: Rational Numbers. 149-152 - Simon L. Peyton Jones:
Haskell 98 Libraries: Complex Numbers. 153-156 - Simon L. Peyton Jones:
Haskell 98 Libraries: Numeric Functions. 157-168 - Simon L. Peyton Jones:
Haskell 98 Libraries: Indexing Operations. 169-172 - Simon L. Peyton Jones:
Haskell 98 Libraries: Arrays. 173-178 - Simon L. Peyton Jones:
Haskell 98 Libraries: List Utilities. 179-190 - Simon L. Peyton Jones:
Haskell 98 Libraries: Maybe Utilities. 191-192 - Simon L. Peyton Jones:
Haskell 98 Libraries: Character Utilities. 193-198 - Simon L. Peyton Jones:
Haskell 98 Libraries: Monad Utilities. 199-204 - Simon L. Peyton Jones:
Haskell 98 Libraries: Input/Output. 205-218 - Simon L. Peyton Jones:
Haskell 98 Libraries: Directory Functions. 219-222 - Simon L. Peyton Jones:
Haskell 98 Libraries: System Functions. 223-224 - Simon L. Peyton Jones:
Haskell 98 Libraries: Dates and Times. 225-230 - Simon L. Peyton Jones:
Haskell 98 Libraries: Locales. 231-232 - Simon L. Peyton Jones:
Haskell 98 Libraries: CPU Time. 233-234 - Simon L. Peyton Jones:
Haskell 98 Libraries: Random Numbers. 235-240 - Simon L. Peyton Jones:
Haskell 98 Libraries: Bibliography. 241-255
Volume 13, Number 2, March 2003
- Gérard P. Huet:
Special issue on 'Logical frameworks and metalanguages'. 257-260 - Gilles Barthe
, Venanzio Capretta, Olivier Pons:
Setoids in type theory. 261-293 - Michael Y. Levin, Benjamin C. Pierce:
TinkerType: a language for playing with formal systems. 295-316 - Zhaohui Luo:
PAL+: a lambda-free logical framework. 317-338 - Daria Walukiewicz-Chrzaszcz:
Termination of rewriting in the Calculus of Constructions. 339-414 - Christine Röckl, Daniel Hirschkoff:
A fully adequate shallow embedding of the [pi]-calculus in Isabelle/HOL with mechanized syntax analysis. 415-451
Volume 13, Number 3, May 2003
- Walid Taha:
Semantics, Applications, and Implementation of Program Generation. 453-454 - Conal Elliott, Sigbjørn Finne, Oege de Moor:
Compiling embedded languages. 455-481 - Bernd Fischer, Johann Schumann:
AutoBayes: a system for generating data analysis programs from statistical models. 483-508 - Adam Fischbach, John Hannan:
Specification and correctness of lambda lifting. 509-543 - Cristiano Calcagno, Eugenio Moggi, Tim Sheard:
Closed types for a safe imperative MetaML. 545-571 - Peter Thiemann:
Program specialization for execution monitoring. 573-600 - Norman Ramsey:
Pragmatic aspects of reusable program generators. 601-646 - Stefan Monnier, Zhong Shao:
Inlining as staged computation. 647-676 - Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim:
Compiling for template-based run-time code generation. 677-708
Volume 13, Number 4, July 2003
- Jean-Christophe Filliâtre:
Verification of non-functional programs using interpretations in type theory. 709-745 - Peter W. O'Hearn:
On bunched typing. 747-796 - Patricia Johann:
Short cut fusion is correct. 797-814
- Chris Okasaki:
Theoretical Pearls. 815-822
- Chris Angus:
"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. 823-824 - Gaétan Hains:
"Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001. 824-826 - Jerzy Karczmarczuk:
"Structure and Interpretation of Classical Mechanics" by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer, The MIT Press; 2001, ISBN 0262194554. 826-828 - Dan Russell:
"Algorithms: A Functional Programming Approach" by Fethi Rabhi and Guy Lapalme, Addison-Wesley, 1999, ISBN 0-201-59604-0, xi + 235pp. 828-829 - Walid Taha:
"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001. 829-831 - Bryn Keller:
"The World of Scripting Languages" by David W. Barron, John Wiley & Sons, 2000, ISBN 0-471-99886-9. 831-832
Volume 13, Number 5, September 2003
- Simon L. Peyton Jones, Philip Wadler:
The Educational Pearls column. 833-834
- Matthias Felleisen:
Welcome to the Educational Pearls Column. 835-838
- Erick Gallesio, Manuel Serrano:
Programming graphical user interfaces with Scheme. 839-866 - Daniel Damian, Olivier Danvy:
Syntactic accidents in program analysis: on the impact of the CPS transformation. 867-904 - Jens Palsberg, Mitchell Wand:
CPS transformation of flow information. 905-923 - Daniel Damian, Olivier Danvy:
CPS transformation of flow information, Part II: administrative reductions. 925-933
- Ralf Hinze:
Formatting: a class act. 935-944 - Jean-Christophe Filliâtre, François Pottier:
Producing all ideals of a forest, functionally. 945-956
- J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
Stack-based typed assembly language. 957-959
Volume 13, Number 6, November 2003
- Haruo Hosoya, Benjamin C. Pierce:
Regular expression pattern matching for XML. 961-1004 - Sven-Bodo Scholz:
Single Assignment C: efficient support for high-level array operations in a functional setting. 1005-1059 - Conor McBride:
First-order unification by structural recursion. 1061-1075
- Christoph Lüth:
Haskell in Space. 1077-1085
- Eerke A. Boiten:
"Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. 1087-1088
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
