NDLI: Monad transformers and modular interpreters

Please wait, while we are loading the content...

Isolating side effects in sequential languages

Sequential algorithms, deterministic parallelism, and intensional expressiveness

Using functor categories to generate intermediate code

Demand-driven computation of interprocedural data flow

Precise interprocedural dataflow analysis via graph reachability

A linear time algorithm for placing φ-nodes

An extended form of must alias analysis for dynamic allocation

Reasoning about rings

Verifying infinite state processes with sequential and parallel composition

Structured operational semantics as a specification language

Extensional polymorphism

Compiling polymorphism using intensional type analysis

Applicative functors and fully transparent higher-order modules

Higher-order functors with transparent signatures

Structural decidable extensions of bounded quantification

Lower bounds on type inference with subtypes

Positive subtyping

The geometry of interaction machine

The semantics of future and its use in program optimization

Total correctness by local improvement in program transformation

A call-by-need lambda calculus

Unification factoring for efficient execution of logic programs

Separation constraint partitioning: a new algorithm for partitioning non-strict programs into sequential threads

Default timed concurrent constraint programming

A language with distributed scope

A formal model and specification language for procedure calling conventions

Obtaining sequential efficiency for concurrent object-oriented languages

Optimizing an ANSI C interpreter with superoperators

Monad transformers and modular interpreters

Structuring depth-first search algorithms in Haskell

Time and space profiling for non-strict, higher-order functional languages

A type system equivalent to flow analysis

Parametric program slicing

A unified treatment of flow analysis in higher-order languages

Corrigendum: decidable bounded quantification

Monad transformers and modular interpreters

Content Provider	ACM Digital Library
Author	Liang, Sheng Hudak, Paul Jones, Mark
Abstract	We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many commonly known features, including simple expressions, three different function call mechanisms (call-by-name, call-by-value and lazy evaluation), references and assignment, nondeterminism, first-class continuations, and program tracing.The underlying mechanism of our system is monad transformers, a simple form of abstraction for introducing a wide range of computational behaviors, such as state, I/O, continuations, and exceptions.Our work is significant in the following respects. First, we have succeeded in designing a fully modular interpreter based on monad transformers that incudes features missing from Steele's, Espinosa's, and Wadler's earlier efforts. Second, we have found new ways to lift monad operations through monad transformers, in particular difficult cases not achieved in Moggi's original work. Third, we have demonstrated that interactions between features are reflected in liftings and that semantics can be changed by reordering monad transformers. Finally, we have implemented our interpreter in Gofer, whose constructor classes provide just the added power over Haskell's type classes to allow precise and convenient expression of our ideas. This implementation includes a method for constructing extensible unions and a form of subtyping that is interesting in its own right.
Starting Page	333
Ending Page	343
Page Count	11
File Format	PDF
ISBN	0897916921
DOI	10.1145/199448.199528
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1995-01-25
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in