Programmin­g

Functional programming for the JVM Functional programming for the JVM- A framework integrating major concepts from functional programming into the Java Platform. Disclojure Disclojure- Daily news about the Clojure programming languange. Tutorial Papers in Functional Programming Tutorial Papers in Functional Programming- John Hughes' list of FP-related tutorials and courses. The Agda Wiki The Agda Wiki- Home page for the Agda 2, a dependently typed functional programming language. Lemon Lemon- Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inducti… The Rise of Functional Languages The Rise of Functional Languages- Brief article, explains what they are, and how and why their popularity is growing; with links and reader comments. Linux Journal. Q Equational Programming Language Q Equational Programming Language- An extensible functional programming language based on the term rewriting calculus. Links: Linking Theory to Practice for the Web Links: Linking Theory to Practice for the Web- Functional language to solve impedance mismatch problem by using one language for all 3 tiers of web programming: front-end browser,… PLAN: A Packet Language for Active Networks PLAN: A Packet Language for Active Networks- Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Pr… What the Hell are Monads? What the Hell are Monads?- Basic introduction to monads, monadic programming, and I/O. Wikipedia: Functional Programming Wikipedia: Functional Programming- Encyclopdia article including a definition, comparison, history, and examples. Afnix Programming Language Afnix Programming Language- A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform … Charity Charity- Functional, categorical language, by University of Calgary, Canada. Innovative organization: based on theory of strong categorical datatypes divided into 2 subclasses: in… Wadler: Monads Wadler: Monads- Information on monads and functional programming Functional Programming Functional Programming- Claus Reinke's , well organized bookmarks on FP. FAQ for comp.lang.functional FAQ for comp.lang.functional- Offers documentation as a frequently asked questions list. Also provides links to general topic, technical and other resources. Rita Loogen Rita Loogen- Member of Eden team. Articles. Readscheme.org - Resources for Functional Programming Readscheme.org - Resources for Functional Programming- A variety of research resources on functional programming languages, implementation, and applications of functional programm… Aldor Aldor- Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of other languages. Links to many pro… ICFP 2002 ICFP 2002- The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established function… Functional Programming in the Real World Functional Programming in the Real World- Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of s… The Pizza Compiler The Pizza Compiler- Java extension with functional features: generics (parametric polymorphism), function pointers (first-class (higher-order) functions), class cases and pattern … Mondrian Mondrian- A simple functional scripting language for Internet applications. Eden Eden- Parallel functional language to program reactive systems and parallel algorithms using distributed memory. Extends Haskell, but overrules lazy evaluation whenever needed to … Scala Programming Language Scala Programming Language- General purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. The Unlambda Programming Language The Unlambda Programming Language- A functional language designed for obscurity NESL: A Parallel Programming Language NESL: A Parallel Programming Language- Parallel functional language developed at Carnegie Mellon, SCandAL project. Most important new ideas: nested data parallelism, language base… CDuce CDuce- An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation. UserLand: Discussion Group UserLand: Discussion Group- Now in read-only mode. The archives of the first UserLand discussion group. Frontier Scripting Frontier Scripting- CGI and site maintenance scripts for Frontier 4.2.3 and Frontier 5. TLS Client and Server TLS Client and Server- Client makes TLS (Transport Layer Security) or SSL (Secure Socket Layer) requests from Frontier or Radio to secure web servers and web applications. Server … Three Rivers Internet - Software Three Rivers Internet - Software- Software created for Mac webservers and web content for use by Three Rivers, and made available to the public Conversant Conversant- Groupware application and development platform written in Frontier (UserTalk). Includes web-based content management system, NNTP server, mailing list server, and XML-… UserLand Frontier UserLand Frontier- The official Frontier home page. The Fortress Language Spec v0.618 The Fortress Language Spec v0.618- Weblog entry and discussion about this older version of the spec. Fortress Programming Language Fortress Programming Language- Growing article, with links to many related topics, references. Wikipedia. Fortress: The Successor to Fortran? Fortress: The Successor to Fortran?- Short summary, large discussion. [Slashdot.org] Fortran Forum Fortran Forum- Addresses the Fortran language, its uses, profitability, standardization, further evolution, and the implementation of Fortran compilers. Published three times a ye… Fortran Resources and Compilers Fortran Resources and Compilers- A collection of Fortran links compiled by H. D. Knoble. Fortran Wiki Fortran Wiki- An open venue for documenting and discussing all aspects of the Fortran programming language and scientific computing. Includes source code, tools, discussion, news,… Fortranplus Fortranplus- Fortran training and consultancy service. Provides information on courses, consulting, and books as well as general Fortran resources. Handling Arithmetic Errors in Fortran 2000 Handling Arithmetic Errors in Fortran 2000- Article by Jeanne Adams discussing various aspects of the exception-handling technical report. British Computer Society (BCS) Fortran Specialist Group British Computer Society (BCS) Fortran Specialist Group- Group provides an open forum for Fortran users, distributes information about Fortran, promotes the language, and encourag… Fortran Library Fortran Library- A directory of Fortran resources including books, tutorials, compilers, and free software. Fortran-dev Info Fortran-dev Info- Discussion of Fortran on Mac OS X. Cloudy's Journey from FORTRAN to C, Why and How Cloudy's Journey from FORTRAN to C, Why and How- Article describing why the Cloudy astronomy program was converted from Fortran to C. Objexx - Fortran to C++ Conversion Objexx - Fortran to C++ Conversion- Service to convert Fortran 77 to fully ANSI/ISO compliant C++ to preserve the value of the code and existing documentation. Is the Quality of Numerical Subroutine Code Improving? Is the Quality of Numerical Subroutine Code Improving?- Paper by Tim Hopkins, which can be downloaded in PostScript format. Fortran Resources Fortran Resources- List of resources by Clive Page. Introduction to Pfortran Introduction to Pfortran- Programming method to ease the job of writing parallel programs for massively parallel computers by providing constructs to coordinate non-local memory a…