Functional Languages Research

• Computers: Computer Science: Education 

• 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.
• 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.