Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
How to replace failure by a list of successes
Proc. of a conference on Functional programming languages and computer architecture
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Making form follow function: an exercise in functional programming style
Software—Practice & Experience
Arrays, non-determinism, side-effects, and parallelism: A functional perspective
Proc. of a workshop on Graph reduction
Why functional programming matters
The Computer Journal - Special issue on Lazy functional programming
Constructing natural language interpreters in a lazy functional language
The Computer Journal - Special issue on Lazy functional programming
The definition of Standard ML
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Update analysis and the efficient implementation of functional aggregates
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
An introduction to functional programming
An introduction to functional programming
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
A semantic model of reference counting and its abstraction (detailed summary)
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
On the Relation between Direct and Continuation Semantics
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Expressing and Reasoning About Non-Deterministic Functional Programs
Proceedings of the 1989 Glasgow Workshop on Functional Programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
How to make destructive updates less destructive
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Normal forms and conservative properties for query languages over collection types
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantic representations and query languages for or-sets
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Higher-order binding-time analysis
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A randomized implementation of multiple functional arrays
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Call by name, assignment, and the lambda calculus
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the orthogonality of assignments and procedures in Algol
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A system of constructor classes: overloading and implicit higher-order polymorphism
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
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Real-time deques, multihead Turing machines, and purely functional programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A functional theory of local names
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Building interpreters by composing monads
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel destructive updating in strict functional languages
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
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
Towards an effective calculus for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Building domain-specific embedded languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Module-sensitive program specialisation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Compositional references for stateful functional programming
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Monadic state: axiomatization and type safety
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
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
Correctness of monadic state: an imperative call-by-need calculus
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From system F to typed assembly language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Query unnesting in object-oriented databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
The marriage of effects and monads
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
From system F to typed assembly language
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to Comprehend Queries Functionally
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Optimizing Queries with Object Updates
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
DSL implementation using staging and monads
Proceedings of the 2nd conference on Domain-specific languages
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Deriving backtracking monad transformers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Search-based binding time analysis using type-directed pruning
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Polytypic data conversion programs
Science of Computer Programming
The marriage of effects and monads
ACM Transactions on Computational Logic (TOCL)
Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics
International Journal of Parallel Programming
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
SVP: A Model Capturing Sets, Lists, Streams, and Parallelism
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Object Protocols as Functional Parsers
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Extensions: A Technique for Structuring Functional-Logic Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Language Prototyping Tool Based on Semantic Building Blocks
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Concurrent Monadic Interfacing
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Porting the Clean Object I/O Library to Haskell
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
Linear Logic, Monads and the Lambda Calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Modular Domain Specific Languages and Tools
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Special issue: Modalities in type theory
Mathematical Structures in Computer Science
Monadic encapsulation of effects: a revised approach (extended version)
Journal of Functional Programming
A tutorial on the universality and expressiveness of fold
Journal of Functional Programming
Journal of Functional Programming
Computational types from a logical perspective
Journal of Functional Programming
What is a purely functional language?
Journal of Functional Programming
A new method for functional arrays
Journal of Functional Programming
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Functional programming with the FC++ library
Journal of Functional Programming
A methodology for generating verified combinatorial circuits
Proceedings of the 4th ACM international conference on Embedded software
Modular Monadic Program Slicing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
THEORETICAL PEARL Church numerals, twice!
Journal of Functional Programming
ACM SIGPLAN Notices
A comparative study of state emulation in functional programming languages: student paper
Journal of Computing Sciences in Colleges
ACM SIGPLAN Notices
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Separation of concerns in translational semantics for DSLs in model engineering
Proceedings of the 2007 ACM symposium on Applied computing
DSL implementation using staging and monads
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Constructing language processors with algebra combinators
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
No ifs, ands, or buts: uncovering the simplicity of conditionals
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
'Galculator': functional prototype of a Galois-connection based proof assistant
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Summary of the third workshop on Domain-Specific Aspect Languages
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
Enabling adaptive time-based web applications with SMIL state
Proceedings of the eighth ACM symposium on Document engineering
A System F with Call-by-Name Exceptions
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
SMIL State: an architecture and implementation for adaptive time-based web applications
Multimedia Tools and Applications
Extending the loop language with higher-order procedural variables
ACM Transactions on Computational Logic (TOCL)
VARIAC: an Autogenous Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Identifying task-level parallelism by functional transformation with side-effect domains
Proceedings of the 47th Annual Southeast Regional Conference
Push-pull functional reactive programming
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
When generic functions use dynamic values
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Continuation-based partial evaluation without continuations
SAS'03 Proceedings of the 10th international conference on Static analysis
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
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Constructing language processors with algebra combinators
Science of Computer Programming
A framework for game-based security proofs
ICICS'07 Proceedings of the 9th international conference on Information and communications security
Using temporal relations to specify and test an instant messaging server
Proceedings of the 5th Workshop on Automation of Software Test
Libraries for generic programming in haskell
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Kleisli category and database mappings
International Journal of Intelligent Information and Database Systems
Lime: a Java-compatible and synthesizable language for heterogeneous architectures
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Avalanche-safe LINQ compilation
Proceedings of the VLDB Endowment
A program transformation for returning states in functional-logic programs
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
iTasks for a change: type-safe run-time change in dynamically evolving workflows
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Software testing with QuickCheck
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Spark: modular, composable shaders for graphics hardware
ACM SIGGRAPH 2011 papers
Ludics and web: another reading of standard operations
Ludics, dialogue and interaction
Getting a grip on tasks that coordinate tasks
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Extending monads with pattern matching
Proceedings of the 4th ACM symposium on Haskell
Bringing back monad comprehensions
Proceedings of the 4th ACM symposium on Haskell
Monad factory: type-indexed monads
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Haskell boards the ferry: database-supported program execution for Haskell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Formal network packet processing with minimal fuss: invertible syntax descriptions at work
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Modular monadic slicing in the presence of pointers
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
GEC: a toolkit for generic rapid prototyping of type safe interactive applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Monad-Based logics for computational effects
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A trustworthy monadic formalization of the ARMv7 instruction set architecture
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
A compilation technique to increase X3D performance and safety
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Formalization of computer input and output: the Hadley model
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Towards modular compilers for effects
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Defining multi-user web applications with itasks
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Generic monadic constructs for embedded languages
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
The sequential semantics of producer effect systems
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Lazy stateless incremental evaluation machinery for attribute grammars
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Understanding ownership types with dependent types
Aliasing in Object-Oriented Programming
Hi-index | 0.00 |
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970's to concisely express certain programs involving lists. This paper shows how list comprehensions may be generalised to an arbitrary monad, and how the resulting programming feature can concisely express in a pure functional language some programs that manipulate state, handle exceptions, parse text, or invoke continuations. A new solution to the old problem of destructive array update is also presented. No knowledge of category theory is assumed.