Home  - Basic_F - Functional Languages Programming

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

61-80 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

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

Functional Languages Programming:     more books (101)

Query languages and operating systems for functional programming (CUED/F-INFENG/TR) by Peter T Breuer, 1988 CFL: A concurrent functional language embedded in a concurrent logic programming environment (Technical report. Weizmann Institute of Science. Dept. of Computer Science) by Jacob Levy, 1986 Drawing Programs: The Theory and Practice of Schematic Functional Programming by Tom Addis, Jan Addis, 2010-01-06 Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science) by Maurizio Gabbrielli, Simone Martini, 2010-04-15 Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) by Flemming Nielson, Hanne Riis Nielson, 2005-08-22 Introduction to Functional Programming using Haskell (2nd Edition) by Richard Bird, 1998-05-09 Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel and Distributed Computing) by Geoffrey Burn, 1991-08-28 Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science) Algorithms: A Functional Programming Approach (International Computer Science Series) by Fethi A. Rabhi, Guy Lapalme, 1999-07-21 Real World Functional Programming: With Examples in F# and C# by Tomas Petricek, Jon Skeet, 2009-12-30 Pearls of Functional Algorithm Design by Richard Bird, 2010-11-01 Introduction to Functional Programming (Prentice Hall International Series in Computing Science) by Richard Bird, 1992-10 Understanding Programming Languages by Aditya Yadav, 2010-03-04 Categorical Combinators, Sequential Algorithms and Functional Programming (Progress in Theoretical Computer Science) by P.-L. Curien, 1993-01-01

lists with details

61. Functional Programming At The University Of Bristol
    functional programming Research, the Brisk project reactive systemsCategory Computers programming languages functional Research 9th International Workshop on Implementation of functional languages, St Andrews Proceedingsof the workshop functional programming, Glasgow 1995 , Springer  
    http://www.cs.bris.ac.uk/~ian/Functional/
    
    Extractions: Bristol CS Index The Brisk project is concerned with increasing the expressive power of functional languages so that they can be used to implement complex and reactive `systems' programs more easily. Our current aim is to develop a Haskell compiler which provides a deterministic form of concurrency, a modular approach to linking Haskell with C, dynamic linking and some other features which increase expressiveness without losing any of the mathematical purity of the language. The Brisk compiler is nearing its first serious release. We then want to investigate its applications; we have designs, and in some cases prototypes, for an X window interface, a development environment, a process manager, and a distributed programming environment. A second strand of research is to improve support for program debugging and proof. One problem is to work out how to make best use of the purely declarative nature of functional languages. A style of logic needs to be developed which takes maximum advantage of the potential simplicity of using denotational semantics alone, without resorting to operational semantics, and which provides support for purely declarative debugging and proof. This logic then needs to be packaged in a practical system which is attractive to working programmers. The Brisk compiler may also provide a platform on which to base this research. Ian Holyer ian@cs.bris.ac.uk

62. Markus' FP Page
    Conception, Evolution, and Application of functional programming languages ,Paul Hudak, ACM Computing Surveys, Volume 21, Number 3, pp.359411, 1989.  
    http://www.ki.informatik.uni-frankfurt.de/persons/schmidt/FP/Welcome.html
    
    Extractions: Last updated: 14th August, 1995 This page is a collection of informations about functional programming. If you can't find the information you are looking for, try the functional programming FAQ Implementing a functional languages "The implementation of functional programming languages", Simon Peyton Jones, Prentice Hall, 1987. ISBN 0-13-453333-X. "Compiling with continuations", Andrew Appel, Cambridge University Press, 1992. ISBN 0-521-41695-7.

63. ICFP Functional Programming Contest
    A contenst sponsored by the International Conference on functional programming.Category Computers programming Contests processors? Perhaps it's just the case that functional programminglanguages attract better programmers than other languages and  
    http://www.ai.mit.edu/extra/icfp-contest/
    
    Extractions: Welcome to the ICFP'98 functional programming contest! Matthew Flatt of the Rice PLT group has written a GUI for pousse games. You may play against one of the programs, play against a human, watch two programs play each other, or have it step through a recorded game. Matthew has packaged the system up with the six finalists in one tar file . However, you'll also need to fetch the Mr. Ed Scheme system from Rice to run the GUI. The winners have been announced. We have also received permission from the authors of the six finalist programs to make their entries available so if you got whupped in round one, or some missing library kept your program from ever turning over, you can replay the tournament in the comfort of your own home. Click on any of the phase-two finalists below to download their entry. The tournament is divided in two phases. Phase one was a full round-robin tournament on a 6x6 board. That is, each entry played every other entry twice: once as X, once as O. More detail is available on these games, including a complete ranking of all the entries.

64. DEVSEEK: Programming : Languages : Functional Languages
    programming languages functional languages Options.  
    http://www.devseek.com/Programming/Languages/Functional_Languages/
    
    Extractions: Alcool-90 (FTP) - Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance. ftp://ftp.inria.fr/lang/alcool/ (Added: 19-Jan-1999 ) comp.lang.functional FAQ http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html (Added: 19-Jan-1999 ) Lemon - A Functional Language with Inductive and Coinductive Types http://www.cis.ksu.edu/~bhoward/lemon.html (Added: 19-Jan-1999 ) The Abyss of Functional Language http://compiler.kaist.ac.kr/~khchoi/fp.html (Added: 19-Jan-1999 ) The Unlambda Programming Language - A functional language designed for obscurity http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/ (Added: 19-Jan-1999 ) Wadler: Monads - Information on monads and functional programming http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html (Added: 19-Jan-1999 ) Why Functional Programming Matters - John Hughes paper, dates from 1984, circulated as a Chalmers memo. http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html

65. Andrew Tolmach
    I'm also interested in killer applications of functional programming,and on the design and implementation of domainspecific languages.  
    http://www.cs.pdx.edu/~apt/
    
    Extractions: Email: apt@cs.pdx.edu Office: 120-23 FAB Phone: Office Hours Spring 2003: or by appointment CS457/557 Functional Languages, Spring 2003. I'm interested in the practical aspects of functional language implementation, including efficient compilation, fast run-time systems, and effective programmer support tools. The goal of this research is to make functional languages, such as Standard ML, competitive with traditional imperative languages in speed and ease of use. I'm also interested in killer applications of functional programming, and on the design and implementation of domain-specific languages. I'm also a member of the Pacific Software Research Center at the Oregon Graduate Institute. A fuller (but somewhat out of date) description of my research activities is here . A brief biography is here "Playing by the Rules: Rewriting as an Optimization Technique in GHC" (joint with Simon Peyton Jones and Tony Hoare Proc. 2001 Haskell Workshop

66. Functional Programming At St Andrews - Publications
    PLDI'96 Proceedings of programming languages Design and Implementation, Philadelphia Workshopon the Implementation of functional languages Bastad, Sweden  
    http://www-fp.dcs.st-and.ac.uk/publications.html
    
    Extractions: Functional Programming University of St Andrews publications home introduction group members publications resources scofpig ifl 98 other sites This page contains publications written by members of the St Andrews Functional Programming Group. The list is ordered by date of publication and is under construction. A source of papers relating to the Parade project can be found in the Glasgow Paper archive A number of papers relating to the STAPLE project can be found in the STAPLE publication archive Individual group members may also make pages available. A.J. Rebon Portillo, K. Hammond, H.W. Loidl and P.Vasconcelos

67. Programming Languages
    Describes major classes of languages, major languages within those classes, and many helpful links.Category Computers programming languages Directories Engineering resources for more information. functional programming languages.Haskell is the one that I've used the most. It is an elegant  
    http://www.cs.waikato.ac.nz/~marku/languages.html
    
    Extractions: Alan Perlis once said: "A language that doesn't affect the way you think about programming, is not worth knowing" Topics within this page Object-Oriented Languages Documentation Generator Tools Functional Languages Free Implementations ... XML-related Languages (XSLT etc.) The Open Directory Project has lots of programming language information For examples of programming in 200+ different languages, check out Tim Robinson's 99 Bottles of Beer page. The Dylan version is nice, but make sure you check out all the C++ versions too! The template version is amazing! More programming language comparisons, including employer demand, are available at http://www.pixeldate.com/dev /comparison/ The Cetus Team maintains a large collection of links about most object-oriented languages. One of my favourite object-oriented languages is Cecil , by Craig Chambers. It is a multiple-dispatch language that supports both exploratory untyped programming and large-scale statically-typed programming. It includes some new and very expressive ideas (see the paper "Predicate Dispatching: A Unified Theory of Dispatch" by Michael Ernst, Craig Kaplan and Craig Chambers). Cecil is quite similar to the theoretical language that I developed in my

68. Bibliographies On Programming Languages, Type Theory And Compiler Technology
    1996). 4303, Bibliography on the JAVA programming language, (2003).2880, Warwick bibliography related to functional languages, (1994).  
    http://liinwww.ira.uka.de/bibliography/Compiler/
    
    Extractions: Example: (specification or verification) and asynchronous #Refs Bibliography Date Bibliography on the Fortran programming language Bibliography for the SIGPLAN Notices Bibliography on Programming Languages and Compiler Construction Bibliography on the JAVA programming language ... Bibliography of the proceedings of the First Workshop on C++ Template Programming Total number of references in this section Other Bibliographies on Programming Languages, Type Theory and Compiler Technology

69. State In Functional Programming: An Annotated Bibliography
    exclude the vast classical literature on state in conventional programming languages. forimproving the performance of statemanipulating functional programs  
    http://liinwww.ira.uka.de/bibliography/Compiler/state.functional.programming.htm
    
    Extractions: Computer Science Bibliographies Up: Bibliographies on Programming Languages, Type Theory and Compiler Technology Collection Home State in Functional Programming: An Annotated Bibliography About Browse Statistics Number of references: Last update: July 24, 1994 Number of online publications: Supported: no Most recent reference: August 1993 Search the Bibliography Query: Options case insensitive Case Sensitive partial word(s) exact online papers only Results Citation BibTeX Count Only Maximum of matches Help on: [ Syntax Options Improving your query Query examples USA Abstract: Author Comments: Many of the entires in the biliography habe been contributed by researchers in the field; The rest are from our own collections. Not all contributions were received with annotations: the second editor has attempted to fill some of the gaps as permitted either by his own familiarity with the work or by his willingness to adapt the authors' own published abstract. Please send corrections, additions, and comments.

70. DBLP: Pieter H. Hartel
    Plasmeijer functional programming languages in Education, First International Symposium,FPLE'95, Nijmegen, The Netherlands, December 46, 1995, Proceedings.  
    http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hartel:Pieter_H=.htm
    
    Extractions: List of publications from the DBLP Bibliography Server FAQ Ask others: ACM CiteSeer CSB Google ... Cheun Ngen Chong , Pieter H. Hartel, Geert Kleinhuis : Security Attributes Based Digital Rights Management. IDMS/PROMS 2002 EE Neil J. Henderson Neil M. White , Pieter H. Hartel: iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. E-smart 2001 EE Pieter H. Hartel, Michael J. Butler Eduard de Jong Mark Longley : Transacted Memory for Smart Cards. FME 2001 EE Adam Field , Pieter H. Hartel, Wim Mooij : Personal DJ, an architecture for personalised content delivery. WWW 2001 EE Pieter H. Hartel, Luc Moreau : Formalizing the safety of Java, the Java virtual machine, and Java card. ACM Computing Surveys 33 EE Josep Domingo-Ferrer , Pieter H. Hartel: Current directions in smart cards. Computer Networks 36 Pieter H. Hartel: Formalising Java Safety - An overview. CARDIS 2000 Neil Henderson , Pieter H. Hartel: Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS 2000 EE Pieter H. Hartel, Eduard de Jong : A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations.

71. Introduction To Functional Languages
    INTRODUCTION TO functional programming languages.  
    http://www.csc.liv.ac.uk/~grant/Teaching/COMP205/functional.html

72. Journal Catalogue - Cambridge University Press
    or as a basis for embedded systems, reports of practical experience, programmingtechniques, prototyping, and uses of functional languages in education.  
    http://uk.cambridge.org/journals/JFP/scope.html
    
    Extractions: Editorial Board Instructions for Contributors Pricing Full Text Online (purchase or subscribe) Links Advertising Rates To view a sample of this journal click here Journal of Functional Programming is the only journal devoted to this important area of computer science and it spans the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming. Current Issue Volume 13-13, 2003

73. Journal Catalogue - Cambridge University Press
    The January 1993 issue was devoted to functional languages in education, includingan article on teaching functional programming to business majors.  
    http://uk.cambridge.org/journals/JFP/editorialMay98.html
    
    Extractions: Editorial Board Instructions for Contributors Pricing Full Text Online (purchase or subscribe) Links Advertising Rates To view a sample of this journal click here Journal of Functional Programming is the only journal devoted to this important area of computer science and it spans the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming. Current Issue Volume 13-13, 2003

74. CS252r-Advanced Functional Programming
    construct a syllabus Basics of lazy languages, eg, Hughes's Why FunctionalProgramming Matters. Parsing and prettyprinting combinators  
    http://www.eecs.harvard.edu/~nr/cs252r/
    
    Extractions: Spring 2001 Time and Place: TTh 10:00-11:30, Maxwell Dworkin 319 Email: cs252r@eecs.harvard.edu Home page: http://www.eecs.harvard.edu/~nr/cs252r/ Instructor: Norman Ramsey , Maxwell Dworkin 231 CS 252r will study advanced techniques in functional programming, with two ends in mind: We will emphasize lazy functional languages such as Haskell ; eager languages get adequate coverage in the undergraduate curriculum. We will also investigate topics such as programming-environment tools and modules systems, which should be relevant to both lazy and eager languages. CS 252r will be run as a seminar; participants will meet twice weekly to discuss papers . We will also spend some time presenting and discussing code written in functional languages; we will study other people's code and write some code ourselves . Because the seminar will be a collaborative effort, we'll coordinate everything using a

75. Functional Programming At Warwick University: Research
    of note TH Axford and MS Joy, ``Aladin An Abstract Machine for Integrating Functionaland Procedural programming'', Journal of programming languages 4, pp.  
    http://www.dcs.warwick.ac.uk/fpresearch/research.html
    
    Extractions: The current group is small, but perfectly formed. Collaborative work with Dr Tom Axford at Birmingham University is also going on. The nature of functional programs, namely their lack of state, makes them very adaptable to parallelisation. Work done at Warwick in collaboation with Birmingham, has been on introducing primitives into functional languages to direct the machine to evaluate certain expressions in parallel, and also in providing functional languages with data types that are more amenable to parallel processing than normal functional language data types. Some papers of note: T.H. Axford and M.S. Joy List Processing in Parallel , Research Report CSR-91-8, Department of Computer Science University of Birmingham , Birmingham, UK (1991). Also Research Report RR-192 Department of Computer Science University of Warwick , Coventry, UK (1991). M.S. Joy and T.H. Axford Parallel Combinator Reduction: Some Performance Bounds Research Report RR-210 Department of Computer Science University of Warwick , Coventry, UK (1992).

76. Functional Programming At Warwick University: Languages
    Lisp and Scheme. The granddaddy of all functional languages and oneof the first high-level programming languages. Lisp (LISt Processing  
    http://www.dcs.warwick.ac.uk/fpresearch/languages.html
    
    Extractions: Haskell is the main pure, lazy functional language in use today, superseding earlier languages such as Miranda. Features include a very sophisticated type system, the use of monads to handle I/O and the ability to import native code written in C. Some Haskell links of interest are: Standard ML (Meta-Language) is a strict, non-pure functional languague and is the functional language we teach to our first-year undergraduates Some SML links of interest are: The new SML standard, SML '97 A Gentle Introduction to ML Moscow ML Home Page . A lighhtweight version of Standard ML available for Unix (including Linux), Windows (3.1, 95 and NT), MS-DOS and the Apple Mac. Standard ML of New Jersey Home Page . A heavyweight implementation of Standard ML for Unix and Windows with lots of additional tools. Caml is another free implementation of ML. Two implementations are available

77. C.Reinke 's Virtual Bookshelf
    LP languages LP - Nonsequential Execution LP - programming LP - Unification MiscellaneousNon-functional programming languages Java Miscellaneous languages  
    http://www.cs.ukc.ac.uk/people/staff/cr3/bib/
    
    Extractions: 510 entries, 292 available online (Mon Sep 18 16:07:18 BST 2000) This virtual bookshelf is generated automatically from the BibTeX-database. It contains references to publications - related to current work or interests - that I have read (well, more or less) and want easy access to. If you find any errors or can direct me to publications related to the topics mentioned here (especially first class input/output, first class modules, persistence, and reflection for functional languages), feel free to drop me an email Functional Programming Groups and Projects Logical Programming Miscellaneous Non-Functional Programming Languages Other Virtual Bookshelfs Reasoning (about Programs) generated by bookshelf , Mon Sep 18 16:07:18 BST 2000 cr3@ukc.ac.uk

78. Programming Languages Hyperlinks
    functional programming Starting Links. Jon's functional languages Page All aboutFP Wadler's functional programming Guide PL links Simon Peyton Jones' guide  
    http://www-cs.engr.ccny.cuny.edu/~dtroeger/335/proglinks.htm

79. Mini-Bibliography On Modules For Functional Programming Languages
    Readscheme.org. MiniBibliography on Modules for functional ProgrammingLanguages. This mini-bibliography includes research related  
    http://readscheme.org/modules/
    
    Extractions: This mini-bibliography includes research related to module systems for functional programming languages. Various papers appear in multiple sections, in order to indicate what may be found in that paper. This site is maintained by Jim Bender. Please send suggestions for additions to this site to editor@readscheme.org Matthew Flatt. "Composable and Compilable Macros: You Want it When?". International Conference on Functional Programming (ICFP'2002) . 2002. Available online: pdf Pavel Curtis and James Rauen. "A Module System for Scheme". Proceedings of the 1990 ACM Conference on Lisp and Functional Programming . June 1990. Available online: ps ps pdf Christian Queinnec and Julian Padget. "Modules, macros and Lisp". Eleventh International Conference of the Chilean Computer Science Society . October 1991. Available online: ps Christian Queinnec and Julian Padget. "A proposal for a modular Lisp with macros and dynamic evaluation". Journées de Travail sur l'Analyse Statique en Programmation Équationnelle, Fonctionnelle et Logique

80. ICFP 2001 Conference Program
    The conference covers the entire spectrum of functional programming, from practiceto theory, and from established functional programming languages (Scheme, ML  
    http://cristal.inria.fr/ICFP2001/
    
    Extractions: Welcome to the ICFP 2001 home page! Here you will find links to the latest information on the conference, including workshops and registration. ICFP 2001 is over, and was quite successful. You might be interested in the next edition: ICFP 2002 , part of the PLI 2002 extravaganza! ICFP 2001 is part of PLI 2001: Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages The ICFP conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages. PPDP : Principles and Practice of Declarative Programming BABEL : Multi­language Infrastructure and Interoperability ERLANG Workshop FICS : Fixed Points in Computer Science HASKELL Workshop QAPL : Quantitative Aspects of Programming Languages RULE : Rule-Based Programming SAIG : Semantics, Applications, and Implementation of Program Generation

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

61-80 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20