|
|
 |
Don't forget to come back to this page and click the check mark ( ) to vote for a site!
| Computing /Programming /Languages /Functional Languages / |
Jon's Functional Languages Page
No Description available
(carol.wins.uva.nl/~jon/funcold.html)
Algol-Like Languages
researchers interested in purely functional languages discovered imperative mechanisms to functional languages in a way that does
(http://www.dcs.qmw.ac.uk/~ohearn/Algol/algol.html)
York
FP research group at U of York, UK: debugging aand profiling functional languages, HaXML, NHC.
(http://www.cs.york.ac.uk/fp/)
Implementation of Functional Languages (IFL'97)
Implementation of Functional Languages 9th. International Workshop implementation of functional or function-based languages . Topics
(http://www.dcs.st-and.ac.uk/~ifl97/)
Mathematical Programming with Functional Languages
Mathematical Programming with Functional Languages
(http://www.oslo.sintef.no/SciTools96/noframes/Contrib/angus/index.html)
FPLE'95: Call for Participation
From 4-6 December Nijmegen will host the first international symposium on Functional Programming Languages in Education (FPLE'95). Functional languages are gathering momentum in education because they facilitate the expression of concepts and structures a
(http://www.cs.kun.nl/fple/fple95/announcement.html)
Lazy Functional Languages
Lazy Functional Languages Abstract Interpretation and Compilation by Geoffrey Burn from MIT Press
(http://www-mitpress.mit.edu/seb/book-home/0262521601.html)
Jon's Functional Languages Page
I have tried to collect together some interesting links to various resources in the field of Functional Languages. This includes everything from implementation to theory, conference announcements to paper archives.
(carol.wins.uva.nl/~jon/funcreal.html)
Untitled
@INPROCEEDINGS{Hanus97POPL, author = "Hanus, M.", title = "A Unified Computation Model for Functional and Logic Programming", year = "1997", booktitle = "Proc. 24st ACM Symposium on Principles of Programming Languages (POPL'97)", pages = "80-93", abstract
(http://www-i2.informatik.rwth-aachen.de/~hanus/publications/papers/POPL97.bib)
A Parallel Complexity Model for Functional Languages
Guy Blelloch and John Greiner CMU-CS-94-196 100k compressed postscript Abstract: A complexity model based on the lambda-calculus with an appropriate operational semantics ...
(http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/CMU-CS-94-196.html)
6. FPCA 1993: Copenhagen, Denmark
FPCA '93 Conference on Functional Programming Languages and Computer Architecture. Copenhagen, Denmark, 9-11 June 1993. ACM Press, 1993, ISBN 0-89791-595-X R. L. Page, B. D. Moe: ...
(http://www.informatik.uni-trier.de/~ley/db/conf/fpca/fpca93.html)
FPCA93: References
FPCA93: References
(http://www.mpi-sb.mpg.de/services/library/proceedings/contents/fpca93.html)
Re: Speed of FP languages, prospects (wa . . . Benchmarking Lazy Functional Languages)
Compiler Archive [Prev][Next][Index][Thread] Re: Speed of FP languages, prospects (was Re: Benchmarking Lazy Functional Languages) Subject : Re: Speed ...
(cui.unige.ch/OSG/people/jvitek/Resources/Languages/Year95/msg00115.html)
Use and Implementation of Functional Languages
The research on the use and implementation of functional programming languages has been going on within the Programming Methodology Group since before 1980. Functional ...
(http://www.cs.chalmers.se/ComputingScience/Research/Overview/section3_4.html)
6. FPCA 1993: Copenhagen, Denmark
FPCA '93 Conference on Functional Programming Languages and Computer Architecture. Copenhagen, Denmark, 9-11 June 1993. ACM Press, 1993, ISBN 0-89791-595-X R. L. Page, B. D. Moe: ...
(http://star.informatik.rwth-aachen.de/dblp/db/conf/fpca/fpca93.html)
Functional Programming at Glasgow
Functional Programming Group in the Computing Science Department at the University of Glasgow
(http://www.dcs.glasgow.ac.uk/fp/&query="Functional+Languages"+Languages&rsource=LCOSS)
Functional Programming in the Real World
a list of functional programs applied to real-world tasks
(cm.bell-labs.com/cm/cs/who/wadler/realworld/&query="Functional+Languages"+Languages&rsource=LCOSS)
The Abyss of Functional Language
a collection of links relating to FP
(compiler.kaist.ac.kr/~khchoi/fp.html&query="Functional+Languages"+Languages&rsource=LCOSS)
Tutorial Papers in Functional Programming
John Hughes' list of FP-related tutorials and courses
(http://www.cs.chalmers.se/~rjmh/tutorials.html&query="Functional+Languages"+Languages&rsource=LCOSS)
Why Functional Programming Matters
John Hughes paper, dates from 1984, circulated as a Chalmers memo
(http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html&query="Functional+Languages"+Languages&rsource=LCOSS)
Cayenne
A Haskell-like language with a powerful type system based on dependent types
(http://www.cs.chalmers.se/~augustss/cayenne/&query="Functional+Languages"+Languages&rsource=LCOSS)
Eden
A functional language that aims at the programming of reactive systems and parallel algorithms on distributed memory systems
(http://www.mathematik.uni-marburg.de/~breiting/eden.html&query="Functional+Languages"+Languages&rsource=LCOSS)
Extended ML
EML is a framework for specification and formal development of Standard ML programs
(http://www.dcs.ed.ac.uk/%7Edts/eml/&query="Functional+Languages"+Languages&rsource=LCOSS)
Abstract for "Fully Abstract Transl . . . tions between Functional Languages"
No Description available
(http://www.cs.bell-labs.com/~riecke/abstracts/translation-journal.html)
Tracing Lazy Functional Languages
No Description available
(http://www.cs.mu.oz.au/conferences96/abstracts/cats.1a.2.html)
More in sites in this topic
 |
 Information about this site |
Vote for this site |
 Site not available |
|  |
|
If you didn't find what you are looking for here try google...
| |
|
|
|
|
|
