![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
The Journal of Functional Programming, Volume 3
Volume 3, Number 1, January 1993
- Simon J. Thompson, Philip Wadler:
Functional Programming in Education - Introduction. 3-4 - Tim Lambert, Peter Lindsay, Ken Robinson:
Using Miranda as a First Programming Language. 5-34 - Phil Molyneux:
Functional Programming for Business Students. 35-48 - Stef Joosten
, Klaas van den Berg, Gerrit van Der Hoeven:
Teaching Functional Programming to First-Year Students. 49-65 - Rachel Harrison:
The Use of Functional Languages in Teaching Computer Science. 67-75 - Lennart Augustsson:
The Interactive Lazy ML System. 77-92 - Colin Runciman, Ian Toyn, Mike Firth:
An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. 93-115
- Richard S. Bird:
Functional Pearls: The Last Tail. 117-122
Volume 3, Number 2, April 1993
- John Hannan:
Extended Natural Semantics. 123-152 - W. Ken Jackson, F. Warren Burton:
Improving Intervals. 153-169 - F. Warren Burton, Robert D. Cameron:
Pattern Matching with Abstract Data Types. 171-190 - Eric Nöcker, Sjaak Smetsers:
Partially Strict Non-Recursive Data Types. 191-215 - Colin Runciman, David Wakeling:
Heap Profiling of Lazy Functional Programs. 217-245 - Chris Reade:
Terminating Comprehensions. 247-250
Volume 3, Number 3, July 1993
- Erik Ruf, Daniel Weise:
On the Specialization of Online Program Specializers. 251-281 - Valentin F. Turchin:
Program Transformation with Metasystem Transitions. 283-313 - Anders Bondorf, Jesper Jørgensen:
Efficient Analysis for Realistic Off-Line Partial Evaluation. 315-346 - Jens Palsberg:
Correctness of Binding-Time Analysis. 347-363 - Mitchell Wand:
Specifying the Correctness of Binding-Time Analysis. 365-387
Volume 3, Number 4, October 1993
- Andrew W. Appel
:
A Critique of Standard ML. 391-429 - Xavier Leroy, Michel Mauny:
Dynamics in ML. 431-463 - Robert Harper, Bruce F. Duba, David B. MacQueen:
Typing First-Class Continuations in ML. 465-484 - Roberto Di Cosmo:
Deciding Type Isomorphisms in a Type-Assignment Framework. 485-525 - Dave Berry:
Lessons from the Design of a Standard ML Library. 527-552
- Stephen Adams:
Efficient Sets - A Balancing Act. 553-561
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.