- Aachen University Of Technology:
Functional Programming
- Presents the implementations of functional languages done with its current results plus links to functional programming resource.
- Compiler Constructions and Programming Languages
- Research covers declarative language’s concept and techniques and safety-critical embedded systems. With project head’s publications, talks and theses.
- Computer Organization and Architecture: Prof. Werner Kluge
- Contains lecture notes, lab course, slides, and publications on functional languages.
- Dependable Systems Group
- Research endeavors in improving computer systems using various techniques. Provides details on numerous projects and members.
- Foundations of Programming Research Group
- Highlights on movements made by a group of computer science people to gain effectiveness of reasoning in the construction of computer programs.
- Functional Programming at Glasgow
- Displays summary of the Functional Programming Group belonging to the Computing Science Department at the University of Glasgow.
- Functional Programming Research
- Presents Brisk project using functional languages for implementing system programs. With list of researchers, papers, and projects and version release.
- Functional Programming Research Group
- Tells about the activities held by a group of Kyoto University researchers for functional programming.
- Functional Programming: University of St Andrews
- Contains links which elaborates on functional programming basics and connects to different publications, book, resources, and interest group concerning the topic.
- IFIP Working Group
- Researchers aim to shares information on design, usage and implementation of functional languages. With members list and proceedings on meetings.
- Laboratory for Foundations of Computer Science
- Profile of research directors with member and student lists and publications.
- Multi Group
- Organization centers functional programming research on Haskell language. Includes listing of past talks with titles, names of speakers, and abstracts.
- Programming Languages Laboratory
- Highlights the developments concerning functional programming by the laboratory. Includes list of researches and publications.
- SCORE Group
- Research community project includes symbolic computation, declarative programming, and theorem proving. Includes presentations and related papers.
- SFU Logic and Functional Programming Group
- Profiles of research members with organization history, objectives, and specific interests.
- Warwick: DCS: Theory and Practice of Programming Research Group
- Delves on certain topics of interests where the Computer Science Department i currently having projects.
|