TFP Review Criteria

January 2007
Trends in Functional Programming Volume 6;2007, Vol. 6, pviii
The article provides information on the criteria for selecting research papers presented at the 2005 Trends in Functional Programming Symposium. The program committee requires papers to be less or equal to 16 pages, original, unpublished, written in English and have an abstract, introduction and conclusion. Research papers should have a technical contribution and a clear outline of the problem and how to solve it. Project evaluation papers should have an overview of a finished project and technical content.


Related Articles

  • Acknowledgements.  // Trends in Functional Programming Volume 6;2007, Vol. 6, pvii 

    People that the author would like to thank for their assistance in organizing the 2005 Trends in Functional Programming symposium are mentioned.

  • REDUCTION OF REGRESSION TESTS FOR ERLANG BASED ON IMPACT ANALYSIS. BOZÓ, ISTVÁN; TÓTH, MELINDA; HORVÁTH, ZOLTÁN // Studia Universitatis Babes-Bolyai, Informatica;May2014 Special Issue, Vol. 59, p31 

    Legacy codes are changed in software maintenance processes to introduce new functionality, modify existing features, eliminate bugs etc. or by refactorings while the main original properties and the behaviour of the system should be preserved. Developers apply regression testing with highest...

  • Dealing with Dissonance in the Research Process. Sosa, Teri // Advancing Women in Leadership;2010, Vol. 30 Issue 2, p1 

    A distinguishing feature of feminist research is the researcher's willingness to investigate power relationships she has uncovered. When conducting research in contexts where participants have traditionally lacked power, the feminist researcher privileges voices of the study participants,...

  • Using Opnet Modeller for the Delivery of the COPAR Service and Improved Availability on the Internet. Seegobin, Rhea L.; Hosein, Michael A. // GSTF Journal on Computing;Apr2014, Vol. 3 Issue 4, p82 

    The COPAR service is a Java based distributed system that runs over the Internet. The system works by replicating data at separate sites using optimistic and pessimistic processing techniques. The aim of COPAR is to test the availability and scalability of a system when expanded. Improvements on...

  • Chapter 2: A Static Checker for Safe Pattern Matching in Haskell. Mitchell, Neil; Runciman, Colin // Trends in Functional Programming Volume 6;2007, Vol. 6, p15 

    A Haskell program may fail at runtime with a pattern-match error if the program has any incomplete (non-exhaustive) patterns in definitions or case alternatives. This paper describes a static checker that allows non-exhaustive patterns to exist, yet ensures that a pattern-match error does not...

  • A Taste of Functional Programming -- 2. Mukund, Madhavan // Resonance: Journal of Science Education;Sep2007, Vol. 12 Issue 9, p40 

    Functional programming has its roots in Alonzo Church's lambda calculus. In the first part of this article, we explored some basic notions of functional programming using the language Haskell. We now examine some more advanced concepts, including polymorphism, infinite data types and...

  • On Pattern-Based Programming towards the Discovery of Frequent Patterns. Kerdprasop, Kittisak; Kerdprasop, Nittaya // International Journal of Computer Science;2007, Vol. 2 Issue 4, p268 

    The problem of frequent pattern discovery is defined as the process of searching for patterns such as sets of features or items that appear in data frequently. Finding such frequent patterns has become an important data mining task because it reveals associations, correlations, and many other...

  • Generating Test Data with Enhanced Context-Free Grammars. Maurer, Peter M. // IEEE Software;Jul90, Vol. 7 Issue 4, p50 

    Evaluates an enhanced context-free grammar programming tool for generating test data. Usefulness of context-free grammars in functional testing of very large-scale integrated circuits; Description of data-generation language; Way to create a test grammar.

  • Chapter 8: Systematic Search for Lambda Expressions. Katayama, Susumu // Trends in Functional Programming Volume 6;2007, Vol. 6, p111 

    We present a system for inductive synthesis of small functional programs by trial and error, or just by generating a stream of all the type-correct programs in a systematic and exhaustive manner and evaluating them. The main goal of this line of research is to ease functional programming, to...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics