Programming Languages and Systems
- Functional Programming Group
- Amsterdam Univ.
- Cambridge Univ. (Computer Lab)
- Carnegie Mellon Univ.
- Chalmers Univ.
- Copenhagen Univ.(DIKU, TOPPS group)
seminar
bibliography
-
Edinburgh Univ.
(
CS Group)
(
LFCS Group)
-
Eindhoven Univ. of Technology
- EPFL's Programming Methodology Laboratory
- Genoa Univ.
(CSPL )
- Glasgow Univ.
( FP group,
FM group,
GGCG
)
-
Imperial College,
TM group (
Current Member)
FAST project,
- INRIA
- Lande
at IRISA,
- Kent Univ. at Canterbury
- Kyuto Univ.
- Manchester Computer Science
- Nijmegen Univ.(KUN)
- Nottingham Univ.,
L&P : Languages and Programming
- Oxford,
PRG
Hardware Compilation Group
Algebra of Programming
- Paris Univ.
- Penn. State Univ.
- Polish Academy of Sciences Institute of CS
Dep. of Theoretical Foundations of Computer Science
- Logic and Foundations of Programming at QMW
- Rice Univ. : The Programming Language Team
- St Andrews Univ.
- Stanford Univ.
: Theory,
Computer Systems Lab
Stanford Research Institute,
- Suny Stony Brook
- Tasmania Univ.
- Tokyo Univ.
- PL group at UIUC, leaded by S.Kamin and U.Readdy
- Warwick Univ.
- Yale Univ.
- York Univ.
- Wisconsin Program-Slicing Project
- Microsoft Research
- PL & Compiler Related labs
- People
-
Choi's collection
- Starting Points to Useful Links
-
Jon's Functional Languages Page
-
All about FP
-
Wadler's Functional Programming Guide
-
PL links
-
Simon Peyton Jones' guide
-
John Hughes' guide
- JFP :
HOT
Practice and Experience
- Claus Reinke's FP
- Newsgroup
- Research Topics
- Paper
- Bibliography Server
- CS TR Index
- SEL-HPC Functional Programming Archive
- Functional Programming Techinical Papers
- Ocu's (wonderful) collection
- Theoretical Computer Science Research Archive
- Hypatia
- Journal
- Conference
- Eurpoean Conference for Object-Oriented Programming (ECOOP)
- ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
- International Workshops on Foundations of Object-Oriented Languages (FOOL)
- Asian Workshop on Programming Languages and Systems :
1st,
2nd
- ACM SIGPLAN Workshop on Continuations
-
1997(2nd)
- CC (International Conference on Compiler Construction)
- ECOOP (European Conference on Object Oriented Programming)
- FLOPS (Fuji International Symposium on Functional and Logic Programming)
- 1999,
2001,
2002
- ICCL (IEEE Conf. on Computer Languages)
- 1998
- ICFP (FPCA & LFP)
-
1995,
1996,
1997,
1998,
1999
2001
{BABEL'01,
HaskellWorkshop'01}
- IEEE International Conference on Computer Language
-
1998
- IFL (Implementation of Functional Language)
-
1994,
1995,
1996,
1997(ftp),
1998,
1999
- ACM Symposium on Applied Computing (SAC)
-
2002
- Scottish Functional Programming Workshop
-
1999(1st)
-
Glasgow Functional Programming Workshops
-
1988
1989
1990
1991
1992
1993
1994
1995
1996
- LICS
-
Listings
- PEPM
-
1997
- Dagstuhl Seminar on Partial Evaluation
- 1996
- PPDP (PLILP + ALP) : Principles and Practice of Declarative Programming
-
1999
-
Satellite Workshop : IDL'99
- PLILP (International Symposium on Programming Languages, Implementations,
Logics, and Programs)
-
1996
1997
1998
- PADL (Practical Aspects of Declarative Languages)
- 1999
- Reflection
- 1996
-
Scottish Functional Programming Workshops
- TIC (Types in Compilation)
-
1997
1998
- MPC (Mathematics of Program Construction)
-
1998
- ASPLOS
- International Static Analysis Symposium (SAS)
-
1996(3rd),
1997(4th),
1998(5th),
1999(6th)
- PLI
-
1999,
- POPL
-
1997,
1998,
1999
- ESOP (European Symposium on Programming)
- Haskell Workshop
-
1997, 1998,
1999
- TAPSOFT (Theory and Practice of Software Development)
-
1997
- Workshop on Explicit Substitutions : Theory and
Applications to Programs and Proofs (WESTAPP)
- 1998
- 1999
- Workshop on Principles of Abstract Machines
- 1998
- WAAAPL (Workshop on Algorithmic Aspects of Advanced Programming Languages)
- WSA
- etc
- Language
- C--
(A high-level portable portable language)
- Concurrent Clean
- Erlang
- EQUALS
(An implementation of a lazy functional programming
system on uniprocessor and shared memory multiprocessor)
- FISh
- Forsythe
- Haskell
- Official sites
- References
- Compilers and Systems
- by Simon Marlow
GHC
(Glasgow Haskell Compiler)
:
User's Guide
,
Bugs
- HBC
or here
(Chalmers Haskell Compiler)
- Debian Related at Aachen Univ.
- Hugs
(Haskell Users Gofer System)
- NHC
:
NHC 1.3 from York
v1.3
-
GpH
- O'Haskell
An object-oriented extension to Haskell, offering
both polymorphic subtyping and monadic reactive objects
in addition to the beloved Haskell core
- HOOD
(The Haskell Object Observation Debugger by Andy Gill)
- GHood
(A Java-based graphical observation event viewer, building on Andy Gill's Hood by Claus Reinke)
- Applications written in Haskell
- Assistant Tool
- Alfa
(A proof editor Alf with GUI)
- C2Haskell
(An Interface Generator for Haskell, providing
lightweight tool support for implementing access to C
libraries from Haskell)
- DoCan 2.0, 1.07
(The Algebraic Domain Constructor)
- Hawk
(A tool for specifying, verifying, and simulating microprocessors)
(A Tutorial by Jan Skibinski)
- HERA
(Haskell Equational Reasoning Assistant)
- hmake
(the compilation management tool for Haskell programs)
- PATH
(Programmer Assistant for Transforming Haskell)
- Z-into-Haskell toolkit
(A program generator from Z-spec.)
- Compiler
- Database
- Foreign Language Interface
- Editing
- Functional METAPOST for LaTeX
- Graphics and/or ...
- HOpenGL
(a Haskell binding for OpenGL and GLUT)
- TclHaskell
(A library for scripting GUI components)
- TkGofer
(TkGofer is an extension of
Gofer in order to support graphical user interfaces.)
- AsmGofer
(An extension of TkGofer)
- Clock
(Another language for the development of interactive S/W,
including the development of distributed multi-media groupware)
- Fran
(Functional Reactive Animation supported by Micro$oft)
- FranTK (pronounced "frantic")
A declarative library for building GUIs in Haskell
- Fudgets
or
Fudgets
(GUI Toolkit Running Under X Windows)
- GTK
(GUI Toolkit)
- Habitat
(A Source Code Browser)
- Haggis
(a GUI Framework Under X-Windows)
- GD
(A tool for handling JPEG, PNG, XPM formats and generating simple plots.)
- Pan
(An experimental embedded language and compiler for image
synthesis and manipulation, based on principles from functional
programming.)
- Java
- JNI
(Java Native Interface)
- Jaskell
(A Haskell to Java Byte Code Compiler)
- Library
- Parsing Combinator
(Deterministic Parsing Combinators available from
Univ. Utrecht
- Edison
(a library for efficient data structures)
- FGL in Haskell
(A functional graph library in SML and Haskell by Martin Erwig)
- The Haskell Monad Template Library
(Andy Gill's collection of predefined Monads and Monad Combinators)
- The Haskell HTML combinators
(Nothing is needed to be mentioned. Cool!!)
- C.Okasaki's codes
in Haskell,
in SML
(in the book, "Purely Functional Data Structures")
- Auburn
(A Kit for Benchmarking Functional Data Structures)
- Sven's codes
here
- Partial v0.1
(The Partial library provides a partial order class.
It also provides routines for generating a Hasse
diagram from a set and a partial order.)
- Curses
(An incomplete module for binding curses in Haskell.)
- Music Composer
- Haskore
The Haskore Computer Music System
- Parallel Computation
- pHluid
a parallel programming system for Id and pH, a dialect of Haskell
- Goffin
Distributed Haskell, Parallel and Distributed Programming in Haskell
- Nepal
Nested Data Parallel Languages
- DSP
- Web and Network
- etc.
- Linear Logic Programming
-
A compiler system of a linear logic programming
- Lisp
- Mercury : Logic/Functional language
- Mercury Project
- Miranda
-
Miranda
- ML
-
CAML
- SML
- SML/E
- SML(Local) by Prof. Yi
- MLj
- MetaML
- Mondrian
-
Mondrian
older one
- NESL
-
NESL
- OPAL
-
The Opal Home page
- PLAN (A Programming Language for Active Networks)
-
PLAN
- Refal (REcursive Functions Algorithmic Language)
-
Refal-5
- Sisal - A High Performance, Portable, Parallel Programming Language
-
Sisal Language Project
- Scheme - Lexically scoped Lisp
- TAL
(A typed assembly language)
- Demo
- Real Applications in Haskell
-
RBMH
(Reactive Behavior Modelling) at Graphics Research Group, Micro$oft
- Integrating Haskell with Microsoft's COM(Commponent Object Model) and CORBA
- A Paper
- A Work
- Tools
- Deet
- Duel
Etc.