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/

Bristol CS Index Functional Programming Research 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. Staff and Research students 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

Markus' Functional Programming Page under construction 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 History and motivations for functional programming "Conception, Evolution, and Application of Functional Programming Languages", Paul Hudak, ACM Computing Surveys , Volume 21, Number 3, pp.359411, 1989. "Why functional programming matters", John Hughes, The Computer Journal , Volume 32, Number 2, April 1989. Books about functional programming Programming in a functional languages "Introduction to functional programming", Richard Bird and Philip Wadler, Prentice Hall, 1988. ISBN 0-13-484189-1. "ML for the working programmer", L.C. Paulson, Cambridge University Press, 1991. ISBN 0-521-39022-2. 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/

ICFP Functional Programming Contest Welcome to the ICFP'98 functional programming contest! Trying out the finalists 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. Contest update 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/

: Programming : Languages : Functional Languages Options HOME WHAT'S COOL TECH NEWS Links: 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/

Andrew Tolmach Associate Professor Department of Computer Science Portland State University Ph.D., Computer Science, Princeton University Email: apt@cs.pdx.edu Office: 120-23 FAB Phone: Office Hours Spring 2003: or by appointment Current Course Materials CS457/557 Functional Languages, Spring 2003. Research 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 Some Publications "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

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 "Cost Analysis using Automatic Size and Time Inference" Workshop paper presented in IFL'2002 Cost-analysis examples from the Haskell standard prelude: stts_examples.tar.gz K. Hammond, D.J. King, H.-W. Loidl, A.J. Rebon Portillo, and P.W. Trinder "The HasPar Performance Evaluation Suite for GpH: a Parallel Functional Language" Submitted to P.W. Trinder, H.-W. Loidl, E.W. Barry Jr., M.K. Davis, K. Hammond, U. Klusik, S.L. Peyton Jones and A. Rebon Portillo "The Multi-Architecture Performance of the Parallel Functional Language GpH"

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

Programming Languages 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/ Object-Oriented Languages 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/

The Collection of Computer Science Bibliographies Up: Mirror of the Collection of Computer Science Bibliographies Home Bibliographies on Programming Languages, Type Theory and Compiler Technology You can add bibliographies and references to this collection! See also the bibliographies on Software/Hardware Engineering and Formal Methods Search all bibliographies in this section 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 Boolean operators: and and or . Use to group boolean subexpressions. 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

The Collection of 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 Boolean operators: and and or . Use to group boolean subexpressions. Example: (specification or verification) and asynchronous Information on the Bibliography Authors: Paul Hudak (email mangled to prevent spamming) Dan Rabin (email mangled to prevent spamming) Computer Science Department Yale University P.O. Box 208285 51 Prospect Street New Haven, CT 06520-8285 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

Pieter H. Hartel 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

INTRODUCTION TO FUNCTIONAL PROGRAMMING LANGUAGES Introduction to Functional Languages (PostScript) Introduction to Haskell Lists Higher-Order Functions User-Defined Types ... OBJ and Parameterised Programming Useful Links The Haskell Home Page Background on OBJ Grant Malcolm Last modified: Fri Nov 16 12:45:47 GMT 2001

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

Home Journals Journal of Functional Programming Edited by Simon L. Peyton Jones Microsoft Research Ltd, Cambridge, UK Philip L. Wadler Avaya Labs, USA 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 January, March, May, July, September and November Print ISSN: 0956-7968 Online ISSN: 1469-7653 Cambridge University Press 2001.

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

Home Journals Journal of Functional Programming Edited by Simon L. Peyton Jones Microsoft Research Ltd, Cambridge, UK Philip L. Wadler Avaya Labs, USA 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 January, March, May, July, September and November Print ISSN: 0956-7968 Online ISSN: 1469-7653 Cambridge University Press 2001.

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/

CS252r-Advanced Functional Programming 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: To learn the best techniques used by functional programmers, so you can use them in your work. To get a feel for some of the research questions at the frontiers of functional programming today. 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

Research Here at Warwick People The current group is small, but perfectly formed. Dr Mike Joy Dr Ananda Amatya Dr Steve Matthews Gary Meehan Collaborative work with Dr Tom Axford at Birmingham University is also going on. Parallel Functional Programming 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

Functional Languages and Implementations Haskell 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: The Haskell Home Page which contains the definition of Haskell The Glasgow Haskell Compiler (GHC) , a large and fully-featured Haskell compiler. HBC , another fully-featured Haskell compiler, from Chalmers Hugs (the Haskell User's Gofer System), a powerful yet compact interpreter, with versions based on Haskell 98 and Haskell 1.4 , a Haskell compiler which emphasises space-efficiency. Standard ML 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/

C.Reinke 's Virtual Bookshelf 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 Aspects of Programming Languages Component-Based Programming Concurrency Data Abstraction Foreign Function Interfaces ... Type Systems Functional Programming FP - General FP - Graphics/Visual FP - Implementation FP - Input/Output ... FP - Lambda Calculi FP - Languages Clean FFI Haskell Hope ... Groups and Projects Logical Programming LP - General LP - Implementation LP - Languages LP - Nonsequential Execution LP - Programming LP - Unification Miscellaneous Non-Functional Programming Languages Java Miscellaneous Languages Simula SmallTalk ... Other Virtual Bookshelfs Reasoning (about Programs) Attribute Grammars Knowledge Representation Logic/Category Theory Partial Evaluation ... Ubiquitous Computing Visual Programming Petri Nets UML VRML 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

General Links Real World Applications of Prog. Lang. Major Scheme implementations site Home of MIT Scheme Standards for Scheme - R5RS ... A Historical background by Chris Strachey A repository of Scheme code A Scheme Imp. called Gambit Languages Scheme - Lexically scoped Lisp Dr Scheme Twobit and Larceny Larceny Project Skijlet Scheme in Java Refal-5 (REcursive Functions Algorithmic Language) Sisal Language Project (portable parallel prog. lang.) Concurrent Clean Erlang EQUALS (A lazy functional prog system on uniprocessor and shared memory multiprocessor) FISh Forsythe Haskell Mercury Project (Logic/Functional Language) Miranda CAML SML SML/E ... PLAN (A Programming Language for Active Networks) Functional Programming Starting Links Jon's Functional Languages Page All about FP Wadler's Functional Programming Guide PL links ... Claus Reinke's FP Newsgroups comp.compilers comp.lang.functional comp.lang.ml comp.lang.scheme ... comp.lang.sigplan Other Language References Lists on Parallel Programming Languages Reading List Functional Languages FAQs Program Specialization and Partial Evaluation Heap Management ... Chez Scheme Site (with Dybvig User's Guide) Search Resources IEEE Computer Society's Parallel Computing Sites IEEE Transactions' Parallel and Distributed Systems S.E.

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/

Mini-Bibliography on Modules for Functional Programming Languages 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 Phase Separation, "Language Towers", and Macros 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/

ICFP 2001: International Conference on Functional Programming Florence, Italy; 3-5 September 2001 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. Conference activities Programming contest Advance program Conference registration Call for papers (expired). Also available in PDF Postscript (A4) , and Postscript (letter) Colocated conferences and workshops 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

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