Monads and Effects

Monads and Effects (2000)

Cached

Download Links

[www.cs.chalmers.se]

Other Repositories/Bibliography

DBLP

by Nick Benton , John Hughes , Eugenio Moggi

Venue:	IN INTERNATIONAL SUMMER SCHOOL ON APPLIED SEMANTICS APPSEM’2000
Citations:	39 - 6 self

Versions

Version History

Metadata Version 4

User correction supplied by mph

Datum	Value	Source
TITLE	Monads and Effects	user correction - Legacy Corrections
AUTHOR NAME	Nick Benton	user correction
AUTHOR AFFIL		user correction
AUTHOR NAME	John Hughes	user correction
AUTHOR AFFIL		user correction
AUTHOR NAME	Eugenio Moggi	user correction
AUTHOR AFFIL		user correction
ABSTRACT	A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception handling and so on on the other. The introduction of monads has made a large step towards reconciling these alternatives. First proposed by Moggi as a way of structuring semantic descriptions, they were adopted by Wadler to structure Haskell programs, and now offer a general technique for delimiting the scope of effects, thus reconciling referential transparency and imperative operations within one programming language. Monads have been used to solve long-standing problems such as adding pointers and assignment, inter-language working, and exception handling to Haskell, without compromising its purely functional semantics. The course will introduce monads, effects and related notions, and exemplify their applications in programming (Haskell) and in compilation (MLj). The course will present typed metalanguages for monads and related categorica...	user correction - Legacy Corrections
YEAR	2000	INFERENCE
VENUE	IN INTERNATIONAL SUMMER SCHOOL ON APPLIED SEMANTICS APPSEM’2000	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	42--122	INFERENCE
VOLUME	2395	INFERENCE
CITATIONS	68 found	ParsCit 1.0