101. Programming Language And Compiler Conferences programming languages; IFL Workshop on the Implementation of Functionallanguages; ILPS 97 International Logic programming Symposium; ILPS http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language/conferences.html

Programming Language and Compiler Conferences Programming language conferences, symposia, workshops, etc. Related Pages ACM SIGPLAN Conferences and Workshops The WWW Virtual Library's list of Programming Language Conferences Logic-related conferences The Fraunhofer Institute's conference announcements in programming languages and logic DIKU's list of PL conferences Jerry Roth's list of Upcoming Compiler and Parallel Computing Conferences Dale Miller's conferences list Resources for conference and workshop organizers Conferences and Workshops AADEBUG'97 : Workshop on Automated Debugging Workshop on Automated Analysis of Software Advanced Functional Programming Techniques : First International Spring School ALP '96 : Algebraic and Logic Programming ASPLOS : Architectural Support for Programming Languages and Operating Systems BCTCS : British Colloquium for Theoretical Computer Science SBLP : Brazillian Symposium on Programming Languages CAAP : Colloquium on Trees in Algebra and Programming CADE-13 Workshop on Proof Search in Type-Theoretic Languages CC : International Conference on Compiler Construction CTCS'97 : Category Theory and Computer Science CW'97 : Workshop on Continuations DSL : Conference on Domain-Specific Languages ECOOP : European Conference on Object-Oriented Programming ELP : Workshop on Extensions of Logic Programming ESOP : European Symposium on Programming euroFORTH : European Forth Conference Euro-Par'97 Workshop on Symbolic Computation FLoC'96 : Federated Logic Conference FOOL : Workshop on Foundations of Object-Oriented Languages

102. DevChannel | XSLT: Taming A Functional Language Copyright 2004, all rights reserved. Everything is possible by asking the rightquestions. XSLT was designed as a functional programming language. http://webservices.devchannel.org/webserviceschannel/04/04/26/2028245.shtml

@import url(http://webservices.devchannel.org/ie-styles-dc.css); SourceForge Shop ThinkGeek Slashdot freshmeat ... Archive June 09, 2004 Newsletter Sign Up Related Links Online Markup Language Books Online XML Books XSLT 2.0 Web Development Prentice Hall PTR ... Also by StoneLion Online Books Safari e-reference library Get your first 14 days free. Search Online Books Understanding Web Services: XML, WSDL, SOAP, and UDDI Vendor Views on Adoption of Web Services Technologies The Technology of Web Services The Major Implementation Streams Web Services: A Manager's Guide Core Products Glossary Other Web Services Applications J2EE Platform Web Services How This Book Is Different Are There Any Next Frontiers? Web Services Design Patterns Section: Web Services XSLT: Taming a functional language Wednesday May 05, 2004 - [ 08:00 AM GMT ] Subsection: Feature Topics: XML Development Tools Web Services Comments: By: Dmitry Kirsanov If you're coming from a different programming background, one feature of XSLT (all versions) may seem especially difficult to grasp. I'm not referring to the XML-based syntax; once you get a feel for it, it is surprisingly transparent (even if bulky). For many novices, much more puzzling is XSLT's lack of an assignment operator. (Note for C-literate readers: " " in XPath always means comparison, never assignment.)

103. CS 6520 Functional Programming: Practice And Semantics This course is about functional programming. The official name of the course isprogramming Language Semantics , but this year s offering will emphasize http://www.cs.utah.edu/classes/cs6520/

CS 6520 Functional Programming: Practice and Semantics Spring 2004 MWF 2:00-2:50, EMCB 110 Instructor: Matthew Flatt Office Hours: by appointment, MEB 3122 This course is about functional programming. The official name of the course is Programming Language Semantics , but this year's offering will emphasize programming skills over formal semantics. Course Notes Programming Languages and Lambda Calculi For the semantics portion of the course Mailing List cs6520@cs.utah.edu To sign up for this list, visit http://mailman.cs.utah.edu/mailman/listinfo/cs6520 Day-by-Day Jan 12: slides 4-up Jan 14: slides 4-up HW Jan 16: slides 4-up HW Jan 21: slides 4-up HW Jan 23: finished previous slides, HW Jan 26-30: weather code Feb 2: notes Ch 5 HW Feb 4: notes Ch 5-6 HW iswim.ss red-sem.plt (needed for iswim.ss and other machines) Feb 6: notes Ch 7 cc.ss scc.ss ck.ss Feb 9: notes Ch 8 Feb 11-18: servlets HW Feb 20: Bazaar demo rules interface Feb 23: notes Ch 11-12 Feb 25: notes Ch 13 Feb 27: notes Ch 14-15 Mar 1-3: Bazaar code Mar 5-8: HW Mar 10-12 Bazaar code Mar 15-19 Spring Break Mar 22-24 Bazaar code Mar 26: notes Ch 19 Mar 29: notes Ch 18 , HW: exercise 18.1 (page 160)

104. Applications Of Functional Programming This page is primarily oriented to applications of ``mostlyfunctional programminglanguages (Scheme, Lisp, SML, CAML) in commercial or industrial use. http://www.sarg.ryerson.ca/~dmason/common/functional.html

Applications of Functional Programming This page is primarily oriented to applications of ``mostly-functional'' programming languages (Scheme, Lisp, SML, CAML) in commercial or industrial use. There is also a page called Real-world Applications of Functional Programming which has better coverage for ``pure-functional'' languages (Haskell, Gopher, Miranda) and more analytical applications. Many of these are anecdotal and lacking in references, but I think the breadth of the applications and the general success of the projects are compelling reasons for people to more actively consider these languages for projects, both for raw computation and especially for providing extension and glue languages over lower level computational engines that may be written in some other language. If you have any information on other commercial, industrial, or other application (except teaching or Programming Language research), please send me email . If you have special libraries or foreign function interfaces, please do likewise (preferably including the information below ). Or if any of the people mentioned here don't want to be attributed, or want a web page link added, or want to correct an email address, send me mail.

105. XMLambda: A Functional Language For Constructing And Manipulating XML Documents we present XMLambda, a small functional language which has The language is also higherorderand polymorphic which allows many common programming patterns to be http://www.cse.ogi.edu/~mbs/pub/xmlambda/

XMLambda: A functional language for constructing and manipulating XML documents Erik Meijer and Mark Shields. Draft , Dec 1999. [letter ps] [bibtex] Abstract XML has been widely adopted as a standard language for describing static documents and data. However, many application domains require XML, and it's cousin HTML, to be filtered and generated dynamically , and each such domain has adopted a language for the tasks at hand. These languages are often ill-suited, unsafe, and interact poorly with each other. In this paper we present XMLambda , a small functional language which has XML documents as its basic data types. It is expressly designed for the task of generating and filtering XML fragments. The language is statically typed , which guarantees every document it generates at run-time will conform to its DTD, but also uses type inference to avoid the need for many tedious type annotations. The language is also higher-order and polymorphic , which allows many common programming patterns to be captured in a small highly reusable library. Furthermore, the language uses pattern-matching so that XML fragments may be deconstructed into their components just as easily as they are constructed.

106. Functional Programming From FOLDOC functional programming. programming (FP) A program in a functional language consistsof a set of (possibly recursive) function definitions and an expression http://www.instantweb.com/foldoc/foldoc.cgi?functional programming

107. The OCaml Language ocaml, compiler, caml, sml, haskell, scheme, lisp, functional, language,programming, perl camel. Welcome to the O Caml language http://www.ocaml.org/

Welcome to the O'Caml language ``The programming tool of choice for discriminating hackers'' Objective Caml is a fast modern type-inferring functional programming language descended from the ML (Meta Language) family. The O'Caml compiler was developed at INRIA's projet Cristal Recent News Compiler Changes Objective Caml 3.07 released. Get it here An Objective Caml program wins first prize at the ICFP 2002 programming contest Objective Caml 3.06 released. Get it here Objective Caml 3.05 released. Get it here The preliminary full text to the O'Reilly book, Developing Applications with Objective Caml is available on-line! Objective Caml 3.04 released. Get it here Caml Development Kit 3.03 released. Get it here Objective Caml 3.02 released. Get it here Objective Caml ranks 2nd on speed (between C and C++) on Doug Bagley's computer language shootout Objective Caml 3.01 released. Get it here A set of new Caml examples are now available (ranging from simple examples for beginners to complex examples for specialists). Launching the Caml consortium Two Objective Caml programs win first and second prizes at the ICFP programming contest OcamlExc , a static analyzer for uncaught exceptions.

108. Needle, An Object-Oriented Functional Language Needle. What is it? Needle is objectoriented functional programming language.It is basically the language that I wish I could program in. http://www.nongnu.org/needle/

Needle What is it? Needle is object-oriented functional programming language. It is basically the language that I wish I could program in. The list of features I'm aiming to implement are: Fully OO Every value in Needle is an object. I get fast integers using a tagged integers like Smalltalk and Lisp do. (Implemented, but integers are boxed until I rewrite Needle in C.) Multiple dispatch Like Cecil and Dylan, Needle has methods with multiple dispatch. In a conventional OO language, methods can do dynamic dispatch on the first argument the receiver or self argument. With multiple dispatch, the method is selected based on all of the method's arguments. This makes hacks like the Visitor pattern obsolete, and solves the binary method problem completely. (Implemented adequately but suboptimally) Garbage collection Tail recursion As in Scheme, recursive function calls that immediately return are compiled to a goto. This makes it possible to do things like write a state machine as a set of mutually recursive functions without blowing the stack. (Implemented) First-class functions Functions are first-class values, and nested functions capture the lexical environment. Scheme and ML programmers will recognize this. (Implemented)

109. Lambda The Ultimate Compiling Functional Languages A set of 90 slides covering important aspects of the implementation of functionalprogramming languages (including closure representation, abstract machines http://lambda.weblogs.com/discuss/msgReader$3286

110. Functional Programming At St Andrews - Home ifl 98, The 1998 International Workshop on Implementation of functional ProgrammingLanguages (IFL 98), which we have been involved in organising. http://www-fp.dcs.st-and.ac.uk/

Functional Programming University of St Andrews home home introduction group members publications resources ... other sites Functional programming involves writing programs using pure functions. Unlike conventional programming (including much object-oriented programming), side-effects are completely eradicated. This allows a very clean, very high-level, very concise programming model, which is also: quick to write easy to reason about easy to modify/debug easy to parallelise Research at St Andrews focuses on Parallel Implementation and Functional Persistence . Our parallel implementation work uses the Glasgow Parallel Haskell dialect of the non-strict functional language Haskell introduction to functional programming and our publications page for more details about our work. introduction More about functional programming group members Members of the St Andrews functional programming group. publications Publications by group members. book "Research Directions in Parallel Functional Programming" edited by Kevin Hammond and Greg Michaelson (Heriot-Watt University) to be published by Springer-Verlag, 1999.

111. The Caml Language The Caml language. Google our site Version française. Caml is a stronglytypedfunctional programming language from the ML family. http://caml.inria.fr/

The Caml language Google our site: Version française Caml is a strongly-typed functional programming language from the ML family. OCaml (Objective Caml) and Caml Light are two open source implementations of Caml developed at INRIA Rocquencourt projet Cristal News: Objective Caml 3.07 released. An Objective Caml program wins the "lightning division" at the ICFP 2003 programming contest Beta release 3.07 beta 2 available for testing, along with its documentation An Objective Caml program wins first prize at the ICFP 2002 programming contest Bug-fix release 3.06 of Objective Caml. Objective Caml 3.05 released. A preliminary version of the book Developing applications with Objective Caml is available on-line. Older news... Overview: General information about Caml. How to get the compilers A taste of Caml A short technical overview of Caml. The Caml consortium Comments from Caml users. Significant applications written in Caml. The Humps : links to Caml-related tools, libraries, code samples, tips, etc. Documentation: Frequently asked questions (FAQ about Caml).

112. FPCA Computer Architecture Advanced Search. Browse FPCA functional ProgrammingLanguages and Computer Architecture FPCA. TOC ServiceTOC http://portal.acm.org/browse_dl.cfm?linked=1&part=series&idx=SERIES420&coll=port

113. Lambda The Ultimate challenges in the design and implementation of a programming language is the Functionallanguages, for example, are defined by their support for first class http://lambda.weblogs.com/

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 6     101-113 of 113    Back | 1  | 2  | 3  | 4  | 5  | 6