Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Common LISP: the language
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Logical foundations of functional programming
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the Workshop on Graph Reduction
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Principal values and branch cuts in complex APL
APL '81 Proceedings of the international conference on APL
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
A gentle introduction to Haskell
ACM SIGPLAN Notices - Haskell special issue
Generalized regular expressions: a programming exercise in Haskell
ACM SIGPLAN Notices
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
A concurrent copying garbage collector for languages that distinguish (im)mutable data
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Using Hindley-Milner type inference to optimise list representation
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experience with a large scientific application in a functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Some issues in a functional implementation of a finite element algorithm
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Benchmarking real-life image processing programs in lazy functional languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A system of constructor classes: overloading and implicit higher-order polymorphism
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Implementing Haskell overloading
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Generational garbage collection for Haskell
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
Widening the representation bottleneck: a functional implementation of relational programming
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
FUDGETS: a graphical user interface in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Benchmarking implementations of lazy functional languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Towards better inlining decisions using inlining trials
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strictness optimization for graph reduction machines (why id might not be strict)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Compiling polymorphism using intensional type analysis
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lower bounds on type inference with subtypes
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structuring depth-first search algorithms in Haskell
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Time and space profiling for non-strict, higher-order functional languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unboxed values and polymorphic typing revisited
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
First-class schedules and virtual maps
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Simplifying and improving qualified types
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lag, drag, void and use—heap profiling and space-efficient compilation revisited
Proceedings of the first ACM SIGPLAN international conference on Functional programming
The role of lazy evaluation in amortized data structures
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A new look at pattern matching in abstract data types
Proceedings of the first ACM SIGPLAN international conference on Functional programming
pHluid: the design of a parallel functional language implementation on workstations
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Functional programming languages
ACM Computing Surveys (CSUR)
A practical soft type system for scheme
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing signatures for C++
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving the correctness of reactive systems using sized types
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formally based profiling for higher-order functional languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tools for functional simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
An Unboxed Operational Semantics for ML Polymorphism
Lisp and Symbolic Computation
Partial evaluation and separate compilation
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation in aircraft crew planning
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ACM Computing Surveys (CSUR)
Rolling your own mutable ADT—a connection between linear types and monads
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
First-class polymorphism with type inference
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallelization in calculational forms
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward a formal theory of extensible software
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Cayenne—a language with dependent types
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Reusable Ada libraries supporting infinite data structures
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic typing for distributed programming in polymorphic languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient multiple and predicated dispatching
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
How to Comprehend Queries Functionally
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
An introduction to Haskell with applications to digital signal processing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
SNACC: a parser generator for use with Miranda
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
DSL implementation using staging and monads
Proceedings of the 2nd conference on Domain-specific languages
Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Declarative event-oriented programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Efficient concise deterministic pattern-matching automata for ambiguous patterns
ACM SIGPLAN Notices
Open and closed scopes for constrained genericity
Theoretical Computer Science
Annals of Mathematics and Artificial Intelligence
The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging
Automated Software Engineering
Type Inference Verified: Algorithm W in Isabelle/HOL
Journal of Automated Reasoning
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Context-sensitive rewriting strategies
Information and Computation
An efficient algorithm for cyclic reference counting
Information Processing Letters
Keep it clean: a unique approach to functional programming.
ACM SIGPLAN Notices
Interfaces with default implementations in Java
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Modular Causality in a Synchronous Stream Language
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
From Macros to Reusable Generative Programming
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing Systems
ICVS '99 Proceedings of the First International Conference on Computer Vision Systems
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
Partial Evaluation in Aircraft Crew Planning
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Dead Code Elimination through Dependent Types
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
From Functional Animation to Sprite-Based Display
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
JMatch: Iterable Abstract Pattern Matching for Java
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Formal Models for Cognition - Taxonomy of Spatial Location Description and Frames of Reference
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Spatial Communication with Maps: Defining the Correctness of Maps Using a Multi-Agent Simulation
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Adding Linear Constraints over Real Numbers to Curry
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Term Graph Rewriting and Mobile Expressions in Functional Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Improving Space, Time, and Termination in Rewriting-Based Programming
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Optimal Adaptive Pattern Matching
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
A Formal Definition of Crosscuts
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
UPV-CURRY: An Incremental CURRY Interpreter
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
A New Class of Functions for Abstract Interpretation
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Porting the Clean Object I/O Library to Haskell
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Lazy Infinite-State Analysis of Security Protocols
Proceedings of the International Exhibition and Congress on Secure Networking - CQRE (Secure) '99
Types and classes of machine learning and data mining
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
The Eden Coordination Model for Distributed Memory Systems
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Modular Domain Specific Languages and Tools
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Features of the concurrent programming language Aldwych
Proceedings of the 2003 ACM symposium on Applied computing
Compilation of a specialized functional language for massively parallel computers
Journal of Functional Programming
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
Journal of Functional Programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming
Journal of Functional Programming
Parallelization of divide-and-conquer by translation to nested loops
Journal of Functional Programming
Higher-order narrowing with definitional trees
Journal of Functional Programming
Journal of Functional Programming
What is a purely functional language?
Journal of Functional Programming
A new method for functional arrays
Journal of Functional Programming
On the effectiveness of functional language features: NAS benchmark FT
Journal of Functional Programming
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Pattern matching as cut elimination
Theoretical Computer Science
From functional to object-oriented programming: a smooth transition for beginners
Proceedings of the 2005 workshop on Functional and declarative programming in education
Media centered languages for new computing experiences
Proceedings of the 2005 conference on Diversity in computing
Operational termination of conditional term rewriting systems
Information Processing Letters
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Efficient pattern matching for non-strongly sequential term rewriting systems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Theoretical Computer Science - Formal methods for components and objects
Access control in a core calculus of dependency
Proceedings of the eleventh ACM SIGPLAN international conference on Functional 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
Proving termination of context-sensitive rewriting by transformation
Information and Computation
Access Control in a Core Calculus of Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
DSL implementation using staging and monads
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Typed common intermediate format
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Modeling interactive 3D and multimedia animation with an embedded language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A special-purpose language for picture-drawing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Implementing signatures for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Practical use of polynomials over the reals in proofs of termination
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Teaching functional programming with soccer-fun
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Concurrency, Graphs and Models
Proving Properties of Lazy Functional Programs with Sparkle
Central European Functional Programming School
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A Single-Step Term-Graph Reduction System for Proof Assistants
Applications of Graph Transformations with Industrial Relevance
Translation and optimization for a core calculus with exceptions
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
A Polymorphic Type System for the Lambda-Calculus with Constructors
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Gel: A Generic Extensible Language
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Web Services and Interoperability for the Maude Termination Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
The λ-calculus with constructors: Syntax, confluence and separation
Journal of Functional Programming
Efficient shared-memory support for parallel graph reduction
Future Generation Computer Systems
SequenceL: transparency and multi-core parallelisms
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Operational termination of conditional term rewriting systems
Information Processing Letters
More efficient left-to-right pattern matching in non-sequential equational programs
CPM'03 Proceedings of the 14th annual conference on Combinatorial pattern matching
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Proving make correct: I/O proofs in Haskell and clean
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Monadic memoization towards correctness-preserving reduction of search
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
A pattern matching compiler for multiple target languages
CC'03 Proceedings of the 12th international conference on Compiler construction
Matchete: paths through the pattern matching jungle
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Dynamically adaptable software with metacomputations in a staged language
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Context-sensitive dependency pairs
Information and Computation
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler
Proceedings of the third ACM Haskell symposium on Haskell
Iterative type inference with attribute grammars
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Algorithms and theory of computation handbook
Journal of Functional Programming
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Virtual values for language extension
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Complete pattern matching: recursivity versus multi-threading
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
New algorithms and applications of cyclic reference counting
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
A functional framework for result checking
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
A dynamic hardware generation mechanism based on partial evaluation
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
A functional logic language based on higher order narrowing
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
Wormholes: introducing effects to FRP
Proceedings of the 2012 Haskell Symposium
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Proceedings of the 8th symposium on Dynamic languages
Alternative programming interfaces for alternative programmers
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Managed data: modular strategies for data abstraction
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
LogicBlox, platform and language: a tutorial
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Using domain specific language for modeling and simulation: scalation as a case study
Proceedings of the Winter Simulation Conference
Usage of generic programming on hackage: experience report
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Toward general diagnosis of static errors
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
| Hi-index | 0.02 |
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the most careful and competent logicians on the contemporary scene, we regard this as evidence that the subject is refractory. Thus fullness of exposition is necessory for accurary; and excessive condensation would be false economy here, even more than it is ordinarily."