default search action

combined dblp search
author search
venue search
publication search

ask others

The Journal of Functional Programming, Volume 12

> Home > Journals > The Journal of Functional Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 12, Number 1, January 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AbelA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AbelA02
Andreas Abel, Thorsten Altenkirch:
A predicative analysis of structural recursion. 1-41
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/MorrisettCGW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/MorrisettCGW02
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
Stack-based typed assembly language. 3-88

Volume 12, Number 2, March 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AnconaZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AnconaZ02
Davide Ancona, Elena Zucca:
A calculus of module systems. 91-132
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/DugganO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/DugganO02
Dominic Duggan, John Ophel:
Type-checking multi-parameter type classes. 133-158
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/FindlerCFFKSF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/FindlerCFFKSF02
Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen:
DrScheme: a programming environment for Scheme. 159-182

Volume 12, Number 3, May 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/WellsDMT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/WellsDMT02
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak:
A calculus with polymorphic and polyvariant flow types. 183-227
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Dal-ZilioG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Dal-ZilioG02
Silvano Dal-Zilio, Andrew D. Gordon:
Region analysis and a pi-calculus with groups. 229-292

Volume 12, Number 4&5, July 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Faxen02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Faxen02
Karl-Filip Faxén:
A static semantics for Haskell. 295-357
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Marlow02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Marlow02
Simon Marlow:
Developing a high-performance web server in Concurrent Haskell. 359-374
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/McBride02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/McBride02
Conor McBride:
Faking it: Simulating dependent types in Haskell. 375-392
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/JonesM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/JonesM02
Simon L. Peyton Jones, Simon Marlow:
Secrets of the Glasgow Haskell Compiler inliner. 393-433
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Thiemann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Thiemann02
Peter Thiemann:
A typed representation for HTML and XML documents in Haskell. 435-468
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/TrinderLP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/TrinderLP02
Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon:
Parallel and Distributed Haskells. 469-510

Volume 12, Number 6, November 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/GapeyevLP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/GapeyevLP02
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
Recursive subtyping revealed. 511-548
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Selinger02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Selinger02
Peter Selinger:
The lambda calculus is algebraic. 549-566
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/CraryWM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/CraryWM02
Karl Crary, Stephanie Weirich, J. Gregory Morrisett:
Intensional polymorphism in type-erasure semantics. 567-600

Functional Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hinze02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hinze02
Ralf Hinze:
A fresh look at binary search trees. 601-607
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton02
Graham Hutton:
The countdown problem. 609-616

Theoretical Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/FriedmanS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/FriedmanS02
Daniel P. Friedman, Amr Sabry:
CPS in little pieces: composing partial continuations. 617-622

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.