LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
SISAL versus FORTRAN: a comparison using the Livermore loops
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Two models for integrating persistence and lazy functional languages
ACM SIGPLAN Notices
Retire Fortran? A debate rekindled
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Subsequence references: first-class values for substrings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introducing functional programming in discrete mathematics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Retire Fortran?: a debate rekindled
Communications of the ACM
Full functional programming in a declarative Ada dialect
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Generalized regular expressions: a programming exercise in Haskell
ACM SIGPLAN Notices
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
Analysis of non-strict functional implementations of the Dongarra-Sorensen eigensolver
ICS '94 Proceedings of the 8th international conference on Supercomputing
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
How much non-strictness do lenient programs require?
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
The role of lazy evaluation in amortized data structures
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Structuring graphical paradigms in TkGofer
ICFP '97 Proceedings of the second 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
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Typer inference builds a short cut to deforestation
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
More types for nested data parallel programming
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
Stochastic lambda calculus and monads of probability distributions
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2002 ACM symposium on Document engineering
Formal Verification of a Pipelined Microprocessor
IEEE Software
XXL - A Library Approach to Supporting Efficient Implementations of Advanced Database Queries
Proceedings of the 27th International Conference on Very Large Data Bases
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
VM lambda: A Functional Calculusfor Scientific Discovery
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Process-Oriented Interactive Simulation of Software Acquisition Projects
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
VML: A View Modeling Language for Computational Knowledge Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Polygonizing Implicit Surfaces in a Purely Functional Way
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Scripting COM Components in Haskell
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Model driven development: the case for domain oriented programming
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modular lazy search for Constraint Satisfaction Problems
Journal of Functional Programming
Methods for the prevention, detection and removal of software security vulnerabilities
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Tutorial: lazy functional programming in Haskell
Proceedings of the 2nd annual conference on Mid-south college computing
Encyclopedia of Computer Science
Haskell ready to dazzle the real world
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
EDUCATIONAL PEARL: Biological sequence similarity
Journal of Functional Programming
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Design patterns as higher-order datatype-generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Spreadsheet functional programming
Journal of Functional Programming
Metamorphisms: Streaming representation-changers
Science of Computer Programming
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Distillation: extracting the essence of programs
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Systematic generation of glass-box test cases for functional logic programs
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Google's MapReduce programming model — Revisited
Science of Computer Programming
Practical generic programming in OCaml
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Google's MapReduce programming model – Revisited
Science of Computer Programming
Model checking for the practical verificationist: a user's perspective on SAL
Proceedings of the second workshop on Automated formal methods
Modularity first: a case for mixing AOP and attribute grammars
Proceedings of the 7th international conference on Aspect-oriented software development
A Hoare Logic for Call-by-Value Functional Programs
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Towards a General Field model and its order in GIS
International Journal of Geographical Information Science
A flexible framework for programming with non-deterministicfunctions
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
The essence of the iterator pattern
Journal of Functional Programming
VARIAC: an Autogenous Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
LazySync: A New Synchronization Scheme for Distributed Simulation of Sensor Networks
DCOSS '09 Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems
Feature (De)composition in Functional Programming
SC '09 Proceedings of the 8th International Conference on Software Composition
Lazy Composition of Representations in Java
SC '09 Proceedings of the 8th International Conference on Software Composition
Purely functional lazy non-deterministic programming
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A compositional theory for STM Haskell
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Parallel performance tuning for Haskell
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Making "stricterness" more relevant
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Performance and extension of user space file systems
Proceedings of the 2010 ACM Symposium on Applied Computing
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Growing a language: the GLoo perspective
SC'08 Proceedings of the 7th international conference on Software composition
Schema-driven experiment management: declarative testing with dexterity
Proceedings of the Third International Workshop on Testing Database Systems
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
MIDI programming in scheme: supported by an Emacs environment
Proceedings of the 7th European Lisp Workshop
Sloth - a tool for checking minimal-strictness
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Computational programming technologies
Programming and Computing Software
Making "stricterness" more relevant
Higher-Order and Symbolic Computation
Improving performance of distributed haskell in mosix clusters
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Towards frabjous: a two-level system for functional reactive agent-based epidemic simulation
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Purely functional lazy nondeterministic programming
Journal of Functional Programming - Dedicated to ICFP 2009
Type systems directed programming language evolution: overview and research trends
Proceedings of the 50th Annual Southeast Regional Conference
Lenient evaluation is neither strict nor lazy
Computer Languages
Functional high performance financial IT: the hiperfit research center in copenhagen
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Financial software on GPUs: between Haskell and Fortran
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Experience report: Haskell in computational biology
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
How not to survey developers and repositories: experiences analyzing language adoption
Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools
Challenges for a trace-based just-in-time compiler for haskell
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
From stack traces to lazy rewriting sequences
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
A lightweight task graph scheduler for distributed high-performance scientific computing
PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing
Communications of the ACM
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Queue - Quality Assurance
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.03 |