Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The development and proof of a formal specification for a multilevel secure system
ACM Transactions on Computer Systems (TOCS)
An eductive interpreter for the language Lucid
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Abstract types have existential type
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional Development of Database Applications
IEEE Transactions on Software Engineering
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A variable-arity procedural interface
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)
The theory and practice of first-class prompts
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A formulae-as-type notion of control
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The complexity of type inference for higher-order lambda calculi
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
A confluent calculus of Macro expansion and evaluation
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A definition of an ISWIM-like language via scheme
ACM SIGPLAN Notices
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient execution of programs with static semantics
ACM SIGPLAN Notices
Lambda-dropping: transforming recursive equations into programs with block structure
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
On embedding a microarchitectural design language within Haskell
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Higher-order dataflow and its implementation on stock hardware
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
Ten Mini-Languages: A Study of Topical Issues in Programming Languages
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursive data structures in APL
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
A bonus from van Wijngaarden's device
Communications of the ACM
Protection in programming languages
Communications of the ACM
Fen—an axiomatic basis for program semantics
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
Communications of the ACM
Efficient compilation of lazy evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Clauses: scope structures and defined functions in Lucid
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Actor induction and meta-evaluation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Making variables abstract: an equational theory for Russell
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data types, parameters and type checking
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT 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
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2002 ACM symposium on Document engineering
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
Continuations: A Mathematical Semantics for Handling FullJumps
Higher-Order and Symbolic Computation
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Compiling Embedded Programs to Byte Code
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Compiling Higher-Order Functions for Tagged-Dataflow
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Multidimensional Lucid: Design, Semantics and Implementation
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
A functional intermediate form for diverse source languages
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
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
New languages for numerical software
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Function level programs as mathematical objects
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Applicative style programming, program transformation, and list operators
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A simple software environment based on objects and relations
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Transition functions: A method for semantic extensions
Proceedings of the international symposium on Extensible languages
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
Towards a canonical form for computer programs
ACM '75 Proceedings of the 1975 annual conference
ACM '74 Proceedings of the 1974 annual conference - Volume 1
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
Lambda calculi and linear speedups
The essence of computation
Demonstrating lambda calculus reduction
The essence of computation
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation
ACM SIGPLAN Notices
Some common misconceptions about Lucid
ACM SIGPLAN Notices
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
Journal of Functional Programming
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Dynamic tabbing for automatic indentation with the layout rule
Journal of Functional Programming
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Ten mini-languages in need of formal definition
ACM SIGPLAN Notices
Bracketing programme constructs
ACM SIGPLAN Notices
Efficient compilation of lazy evaluation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
Journal of Functional Programming
Implementing Metcast in Scheme
Higher-Order and Symbolic Computation
The next 700 data description languages
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Many cyclic block diagrams do not need parallel semantics
ACM SIGPLAN Notices
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Structured programming with go to statements
Classics in software engineering
Domain specific embedded compilers
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
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
Understanding Programming Languages
Minds and Machines
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Performance of a Simulated Dataflow Computer
IEEE Transactions on Computers
IEEE Transactions on Computers
Higher-Order and Symbolic Computation
On the basis for ELF: an extensible language facility
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
Names and reference in user interfaces
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2
The next 700 access control models or a unifying meta-model?
Proceedings of the 14th ACM symposium on Access control models and technologies
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Domain-Specific Language for HW/SW Co-design for FPGAs
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Embedded Probabilistic Programming
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
The LISP70 pattern matching system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
Journal of Functional Programming
IBM Journal of Research and Development
The next 700 data description languages
Journal of the ACM (JACM)
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and algorithms for data-dependent grammars
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-Order and Symbolic Computation
When students are not programmers
ACM Inroads
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Constraint application with higher-order programming for modeling music theories
Computer Music Journal
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Personal recollections of Peter Landin: 1987---2009
Higher-Order and Symbolic Computation
Fundamenta Informaticae - Dependently Typed Programming
The next 700 separation logics
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Semantically Restricted Argument Dependencies
Journal of Logic, Language and Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Software variability: the design space of configuration languages
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Overview of generative software development
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Resource-Safe systems programming with embedded domain specific languages
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Some proposals for improving Pascal
Computer Languages
The call-by-need lambda calculus, revisited
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Survey: A survey of state vectors
Computer Science Review
Parse forest diagnostics with dr. ambiguity
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Proceedings of the 8th symposium on Dynamic languages
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
Design principles for internal domain-specific languages: a pattern catalog illustrated by Ruby
Proceedings of the 17th Conference on Pattern Languages of Programs
Optimizing abstract abstract machines
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 48.35 |
A family of unimplemented computing languages is described that is intended to span differences of application area by a unified framework. This framework dictates the rules about the uses of user-coined names, and the conventions about characterizing functional relationships. Within this framework the design of a specific language splits into two independent parts. One is the choice of written appearances of programs (or more generally, their physical representation). The other is the choice of the abstract entities (such as numbers, character-strings, list of them, functional relations among them) that can be referred to in the language.The system is biased towards “expressions” rather than “statements.” It includes a nonprocedural (purely functional) subsystem that aims to expand the class of users' needs that can be met by a single print-instruction, without sacrificing the important properties that make conventional right-hand-side expressions easy to construct and understand.