Prolog dialects: a deja vu of BASICs
ACM SIGPLAN Notices
A mechanical proof of the Church-Rosser theorem
Journal of the ACM (JACM)
Exact real computer arithmetic with continued fractions
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Partial polymorphic type inference and higher-order unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs
IEEE Transactions on Software Engineering
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exact Real Computer Arithmetic with Continued Fractions
IEEE Transactions on Computers
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
APL '91 Proceedings of the international conference on APL '91
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Elements of interaction: Turing award lecture
Communications of the ACM
HOPL-II The second ACM SIGPLAN conference on History of programming languages
APL '93 Proceedings of the international conference on APL
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
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
On global dynamics of optimal graph reduction
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
An Abstract Machine for Symbolic Computation
Journal of the ACM (JACM)
Minimal and Optimal Computations of Recursive Programs
Journal of the ACM (JACM)
A Syntactic Theory of Message Passing
Journal of the ACM (JACM)
Denotational data flow analysis for parallel implementation of imperative programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
Ten Mini-Languages: A Study of Topical Issues in Programming Languages
ACM Computing Surveys (CSUR)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Handling Operator Precedence in Arithmetic Expressions with Tree Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
A model for type checking: with an application to ALGOL 60
Communications of the ACM
Fen—an axiomatic basis for program semantics
Communications of the ACM
On the meaning of names in programming systems
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
Communications of the ACM
On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
Programming language semantics and closed applicative languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Minimal and optimal computations of recursive programs
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parallel beta reduction is not elementary recursive
Information and Computation
Control structures in hypothesis spaces: the influence on learning
Theoretical Computer Science
Readings in hardware/software co-design
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experience with an applicative string processing language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parametrizing geometric objects using λ-calculus
SCCG '02 Proceedings of the 18th spring conference on Computer graphics
A unifying approach to goal-directed evaluation
New Generation Computing - Partial evaluation and program transformation
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
Journal of Logic, Language and Information
Conservation and uniform normalization in Lambda calculi with erasing reductions
Information and Computation
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
Scheme: A Interpreter for Extended Lambda Calculus
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Reduction languages for reduction machines
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
How to circumvent church numerals
Nordic Journal of Computing
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Relating Templates to Language and Logic
Information Extraction: Towards Scalable, Adaptable Systems
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Capability-Based Financial Instruments
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
Programming methodology
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Types and classes of machine learning and data mining
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Implementation of an interpreter for abstract equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computer animation with scripts and actors
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
A system architecture for the concurrent evaluation of applicative program expressions
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Formal specification and development of an ada compiler - a vdm case study
ICSE '84 Proceedings of the 7th international conference on Software engineering
An investigation of the relative efficiencies of combinators and lambda expressions
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Computer architecture for correct programming
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Procedure for testing microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
The nested rectangular array as a model of data
APL '79 Proceedings of the international conference on APL: part 1
APL '79 Proceedings of the international conference on APL: part 1
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The correctness of a modified SECD machine
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
A complete mechanization of (&ohgr;) -order type theory
ACM '72 Proceedings of the ACM annual conference - Volume 1
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
Function level programs as mathematical objects
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Proceedings of ACM conference on Proving assertions about programs
The Contour Model Lambda Calculus Machine
Proceedings of ACM conference on Proving assertions about programs
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
The “most recent” error: Its causes and correction
Proceedings of ACM conference on Proving assertions about programs
The evaluation, classification and interpretation of expressions
ACM '64 Proceedings of the 1964 19th ACM national conference
FAD, a functional programming language that supports abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
EURO-DAC '90 Proceedings of the conference on European design automation
Appraising two decades of distributed computing theory research
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Cut rules and explicit substitutions
Mathematical Structures in Computer Science
An adequate and efficient left-associated binary numeral system in the λ-calculus
Journal of Functional Programming
The call-by-need lambda calculus
Journal of Functional Programming
From English to logic: context-free computation of "conventional" logical translation
Computational Linguistics
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Description formation and discourse model synthesis
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
Parametric parameter passing λ-calculus
Information and Computation
A construction of one-point bases in extended lambda calculi
Information Processing Letters
A concept by concept description of the AMTRAN language
ACM SIGPLAN Notices - Special issue on AMTRAN (Automatic Mathematical TRANslation)
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
THEORETICAL PEARL Church numerals, twice!
Journal of Functional Programming
A preliminary survey of artificial intelligence machines
ACM SIGART Bulletin
History of programming languages---II
Combining higher-order abstract syntax with first-order abstract syntax in ATS
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
META/LISP: an interactive translator writing system
ACM SIGSAM Bulletin
Functional Parallel Typified Language and Its Implementation on Clusters
Programming and Computing Software
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
Journal of Functional Programming
Nonmodularity Results for Lambda Calculus
Fundamenta Informaticae
Resource operators for λ-calculus
Information and Computation
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
ACM Turing award lectures
Theoretical Computer Science
Understanding Programming Languages
Minds and Machines
A concrete framework for environment machines
ACM Transactions on Computational Logic (TOCL)
State-transition machines for lambda-calculus expressions
Higher-Order and Symbolic Computation
Enhancing the learning and teaching of functions through programming in ML
Journal of Computing Sciences in Colleges
ACM Lisp Bulletin
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Inter-deriving Semantic Artifacts for Object-Oriented Programming
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
A basis for a mathematical theory of computation, preliminary report
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
Nesting forward-mode AD in a functional framework
Higher-Order and Symbolic Computation
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
ACM Transactions on Computational Logic (TOCL)
A mechanization of type theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
The λ-calculus with constructors: Syntax, confluence and separation
Journal of Functional Programming
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Axioms and theorems for a theory of arrays
IBM Journal of Research and Development
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
Artificial Life
The lambda-gamma calculus: A language adequate for defining recursive functions
Information Sciences: an International Journal
Church's lambda delta calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Upper and lower recursion schemes in abstract approximation spaces
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Reliability properties of models for flexible design and run-time analysis
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
A unifying approach to goal-directed evaluation
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Strong normalisation of cut-elimination that simulates β-reduction
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Inter-deriving semantic artifacts for object-oriented programming
Journal of Computer and System Sciences
From reduction-based to reduction-free normalization
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Hi-index | 0.13 |