ACM SIGCSE Bulletin
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Functional programming: executable specifications and program transformations
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
Teaching calculation and discrimination: a more effective curriculum
Communications of the ACM
Implementation of a “Lisp comprehension” macro
ACM SIGPLAN Lisp Pointers
A gentle introduction to Haskell
ACM SIGPLAN Notices - Haskell special issue
Translation—an introductory exercise
ACM SIGCSE Bulletin
Introducing functional programming in discrete mathematics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Functional programming is not self-modifying code
ACM SIGPLAN Notices
Hamming numbers, lazy evaluation, and eager disposal
ACM SIGPLAN Notices
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generating a compiler for a lazy language by partial evaluation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Full functional programming in a declarative Ada dialect
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Walks into the APL design space
APL '92 Proceedings of the international conference on APL
Fips: a functional-imperative language for explorative programming
ACM SIGPLAN Notices
Automating the re-declaration of unneeded globals as private
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Benchmarking real-life image processing programs in lazy functional languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
An operational semantics for I/O in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Assessing the evaluation transformer model of reduction on the spineless G-machine
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Higher order objects in pure object-oriented languages
ACM SIGPLAN Notices
Breadth-first search in the Eight Queens Problem
ACM SIGPLAN Notices
Higher order objects in pure object-oriented languages
ACM SIGPLAN OOPS Messenger
ACM SIGPLAN Notices
Constructing functional programs for grammar analysis problems
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Bananas in space: extending fold and unfold to exponential types
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Functional programming languages
ACM Computing Surveys (CSUR)
DAda—an Ada preprocessor for functional programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Protein folding meets functional programming (poster)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
ACM Computing Surveys (CSUR)
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The bits between the lambdas: binary data in a lazy functional language
Proceedings of the 1st international symposium on Memory management
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A functional programming approach to hypermedia authoring
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Prototyping real-time vision systems: an experiment in DSL design
Proceedings of the 21st international conference on Software engineering
An introduction to Haskell with applications to digital signal processing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Deriving backtracking monad transformers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Declarative event-oriented programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
An implementation of parallel pattern-matching via concurrent haskell
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Spatial Cognition and Computation
Optimizing Register Spills for Eager Functional Languages
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Formal Models for Cognition - Taxonomy of Spatial Location Description and Frames of Reference
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Internal Iteration Externalized
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Elementary Microarchitecture Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A declarative approach to incremental custom computing
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
Towards a declarative framework for hardware-software codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Specification and refinement of a message router
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Journal of Functional Programming
Modular lazy search for Constraint Satisfaction Problems
Journal of Functional Programming
Journal of Functional Programming
Compiling lazy functional programs for the Java Virtual Machine
Journal of Functional Programming
A tutorial on the universality and expressiveness of fold
Journal of Functional Programming
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
A pointless derivation of radix sort
Journal of Functional Programming
Haskell: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1996.
Journal of Functional Programming
The dynamic compilation of lazy functional programs
Journal of Functional Programming
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
EQUALS – a fast parallel implementation of a lazy language
Journal of Functional Programming
The Knowledge Engineering Review
The structure and interpretation of the computer science curriculum
Journal of Functional Programming
Some more properties of lists and fuzzy lists
Information Sciences—Informatics and Computer Science: An International Journal
On some properties of lists and fuzzy lists
Information Sciences—Informatics and Computer Science: An International Journal
Lazy functional programming in Java
ACM SIGPLAN Notices
Parallel algorithms development for programmable logic devices
Advances in Engineering Software
Metamorphisms: Streaming representation-changers
Science of Computer Programming
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Design and implementation of a GUI for the TLC model checker
ACM SIGPLAN Notices
Word-based predictive text entry using adaptive language models
Natural Language Engineering
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools
Theoretical Computer Science
Proving Properties of Lazy Functional Programs with Sparkle
Central European Functional Programming School
An Introduction to the Lambda Calculus
Central European Functional Programming School
Equality saturation: a new approach to optimization
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm
Journal of Automated Reasoning
Sup-interpretations, a semantic method for static analysis of program resources
ACM Transactions on Computational Logic (TOCL)
Development of a distributed system applied to teaching and learning
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Domain-theoretic Treatment of Recursive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying event-driven programs using ramified frame properties
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Purely functional 1-2 brother trees
Journal of Functional Programming
Paper: Divide-and-Conquer and parallel graph reduction
Parallel Computing
Measuring and characterizing crosscutting in aspect-based programs: basic metrics and case studies
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Verification of program properties using different theorem provers: a case study
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Lazy execution of boolean queries
Program analysis and compilation, theory and practice
Upper bounds on stream I/O using semantic interpretations
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Journal of Functional Programming
Towards a certified and efficient computing of gröbner bases
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
On the optimal ordering of maps, selections, and joins under factorization
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Fission for program comprehension
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
The technology behind a graphical user interface for an equational reasoning assistant
FP'95 Proceedings of the 1995 international conference on Functional Programming
Using types to parse natural language
FP'95 Proceedings of the 1995 international conference on Functional Programming
Simple algebraic data types for C
Software—Practice & Experience
A taint mode for python via a library
NordSec'10 Proceedings of the 15th Nordic conference on Information Security Technology for Applications
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
An empirical study of the influence of static type systems on the usability of undocumented software
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Some new properties of lists and a framework of a list theoretic relation model
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Hi-index | 0.02 |