Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From fast exponentiation to square matrices: an adventure in types
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Purely functional, real-time deques with catenation
Journal of the ACM (JACM)
A new approach to generic functional programming
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Breadth-first numbering: lessons from a small exercise in algorithm design
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A framework for the recursive definition of data structures
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Recursive structures for standard ML
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
A simple implementation technique for priority search queues
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Bootstrapping one-sided flexible arrays
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Scrap your boilerplate: a practical design pattern for generic programming
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
First-Class Structures for Standard ML
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Directed Automated Theorem Proving
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
JMatch: Iterable Abstract Pattern Matching for Java
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A type system for bounded space and functional in-place update
Nordic Journal of Computing
First-class structures for standard ML
Nordic Journal of Computing
A type system for well-founded recursion
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generalizing generalized tries
Journal of Functional Programming
Journal of Functional Programming
Inductive graphs and functional graph algorithms
Journal of Functional Programming
Journal of Functional Programming
Inductive benchmarking for purely functional data structures
Journal of Functional Programming
Modular lazy search for Constraint Satisfaction Problems
Journal of Functional Programming
Journal of Functional Programming
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
THEORETICAL PEARL Church numerals, twice!
Journal of Functional Programming
Pretty printing with lazy dequeues
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Checking modes of HAL programs
Theory and Practice of Logic Programming
Teaching quality object-oriented programming
Journal on Educational Resources in Computing (JERIC)
Finger trees: a simple general-purpose data structure
Journal of Functional Programming
"MAMA!": a memory allocator for multithreaded architectures
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Polymorphic algebraic data type reconstruction
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
From structures and functors to modules and units
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Proceedings of the 2006 workshop on ML
Parameterized objects and inducements to explore functional programming
Proceedings of the 44th annual Southeast regional conference
An incremental algorithm for DLO quantifier elimination via constraint propagation
Artificial Intelligence
Implementing a cost-aware evaluator for ACL2 expressions
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Asynchronous resource discovery in peer-to-peer networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Purely functional worst case constant time catenable sorted lists
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
Experience report: using functional programming to manage a linux distribution
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A type system for recursive modules
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A persistent union-find data structure
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Refined typechecking with Stardust
PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
Journal of Functional Programming
Lightweight semiformal time complexity analysis for purely functional data structures
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey of persistent data structures
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Bialgebra views: a way for polytypic programming to cohabit with data abstraction
Proceedings of the ACM SIGPLAN workshop on Generic programming
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Confluently Persistent Tries for Efficient Version Control
SWAT '08 Proceedings of the 11th Scandinavian workshop on Algorithm Theory
Towards an Implementation of a Computer Algebra System in a Functional Language
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Linear, bounded, functional pretty-printing
Journal of Functional Programming
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Tutorial on Specifying Data Structures in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming Examples Needing Polymorphic Recursion
Electronic Notes in Theoretical Computer Science (ENTCS)
Decision procedures for algebraic data types with abstractions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static determination of quantitative resource usage for higher-order programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
A principled approach to programming with nested types in Haskell
Higher-Order and Symbolic Computation
Communications of the ACM
Purely functional 1-2 brother trees
Journal of Functional Programming
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Observational equivalence and program extraction in the Coq proof assistant
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Constructing specialized shape analyses for uniform change
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Monadic, prompt lazy assertions in Haskell
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Matchete: paths through the pattern matching jungle
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Semi-persistent data structures
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Efficient type-checking for amortised heap-space analysis
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
FUN'10 Proceedings of the 5th international conference on Fun with algorithms
Improvements to a resource analysis for hume
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
QuickSpec: guessing formal specifications using testing
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Deriving an efficient FPGA implementation of a low density parity check forward error corrector
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Collected size semantics for functional programs over lists
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
A syntactic type system for recursive modules
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
CREST: principled foundations for decentralized systems
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Efficient maintenance of ephemeral data
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
A simple semantics for polymorphic recursion
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Termination analysis of higher-order functional programs
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Strictly-Regular number system and data structures
SWAT'10 Proceedings of the 12th Scandinavian conference on Algorithm Theory
Epigram: practical programming with dependent types
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
PiStache: implementing π-calculus in scala
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Extending coq with imperative features and its application to SAT verification
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Contracts and specifications for functional logic programming
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Thread-Safe priority queues in haskell based on skiplists
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Dynamic symbolic computation for domain-specific language implementation
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Proof-producing synthesis of ML from higher-order logic
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
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
CoExist: overcoming aversion to change
Proceedings of the 8th symposium on Dynamic languages
Using XQuery for problem solving
Software—Practice & Experience
Model based testing with logical properties versus state machines
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
Automatic type inference for amortised heap-space analysis
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
WADS'13 Proceedings of the 13th international conference on Algorithms and Data Structures
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 0.02 |