Programming with algebraic effects and handlers

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of logical and algebraic methods in programming Ročník 84; číslo 1; s. 108 - 123
Hlavní autoři: Bauer, Andrej, Pretnar, Matija
Médium: Journal Article
Jazyk:angličtina
Vydáno: 01.01.2015
ISSN:2352-2208
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Author Bauer, Andrej
Pretnar, Matija
Author_xml – sequence: 1
  givenname: Andrej
  surname: Bauer
  fullname: Bauer, Andrej
– sequence: 2
  givenname: Matija
  surname: Pretnar
  fullname: Pretnar, Matija
BookMark eNp9j8tOwzAQRb0oEqX0C9jkB5KOxyGNl6jiJVWCBaytsTNuE-VR2ZYQf08KrFiwmSuNdO7VuRKLcRpZiBsJhQRZbbqi62k4FQiyLAALALkQS1S3mCNCfSnWMXYwf6t6Wyu5FJvXMB0CDUM7HrKPNh0z6g9sA7UuY-_ZpZjR2GTH-fQc4rW48NRHXv_mSrw_3L_tnvL9y-Pz7m6fO9RlylE5W6O3jSfSpdLgvHMe52VyJKlhrUt2qrSwlQyMxNpqy5YqWzfSoVoJ9dPrwhRjYG9OoR0ofBoJ5qxqOvOtas6qBtDMUjOl_1CuTZTaaUyzUf8v-wUfZGEe
CitedBy_id crossref_primary_10_1016_j_tcs_2021_02_038
crossref_primary_10_1145_3547630
crossref_primary_10_1017_S0956796824000054
crossref_primary_10_1145_3428222
crossref_primary_10_1145_3093333_3009872
crossref_primary_10_1017_S0956796816000319
crossref_primary_10_1145_3674656
crossref_primary_10_1145_3428194
crossref_primary_10_1145_3236795
crossref_primary_10_1093_logcom_exac062
crossref_primary_10_1145_3158096
crossref_primary_10_1145_3158095
crossref_primary_10_1145_3720476
crossref_primary_10_1145_3276481
crossref_primary_10_1016_j_entcs_2018_11_012
crossref_primary_10_1145_3729321
crossref_primary_10_1145_3594735
crossref_primary_10_1145_3632916
crossref_primary_10_1145_3434314
crossref_primary_10_1145_3434316
crossref_primary_10_1145_3110282
crossref_primary_10_1016_j_entcs_2015_12_003
crossref_primary_10_1145_3473576
crossref_primary_10_1145_3473578
crossref_primary_10_1145_3093333_3009897
crossref_primary_10_1017_S0956796824000030
crossref_primary_10_1145_3632921
crossref_primary_10_1007_s00165_020_00523_2
crossref_primary_10_1145_3110257
crossref_primary_10_1017_S0956796819000121
crossref_primary_10_1017_S147106841600034X
crossref_primary_10_1145_3408999
crossref_primary_10_1145_3622831
crossref_primary_10_1017_S0956796816000320
crossref_primary_10_1017_S0956796820000271
crossref_primary_10_1017_S0960129517000172
crossref_primary_10_1145_3371119
crossref_primary_10_1145_3571255
crossref_primary_10_1145_3371116
crossref_primary_10_1145_3632854
crossref_primary_10_1145_3408981
crossref_primary_10_1145_3485479
crossref_primary_10_1145_3607846
crossref_primary_10_1145_3022671_2984009
crossref_primary_10_1145_3563445
crossref_primary_10_1145_3607848
crossref_primary_10_1145_3563289
crossref_primary_10_1145_3290318
crossref_primary_10_1145_3236762
crossref_primary_10_1007_s11786_020_00450_8
crossref_primary_10_1017_S0956796819000212
crossref_primary_10_1145_3290319
crossref_primary_10_1145_3473580
crossref_primary_10_1017_S0956796820000106
Cites_doi 10.1016/j.tcs.2006.03.013
10.1016/0022-0000(78)90014-4
10.14236/ewic/IWFM2003.3
10.1023/A:1023064908962
10.1017/S0960129509990351
10.1016/S0890-5401(03)00088-9
10.1016/j.tcs.2006.12.026
10.1017/S0960129500001535
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2014.02.001
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 123
ExternalDocumentID 10_1016_j_jlamp_2014_02_001
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACLOT
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AGHFR
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
CITATION
EBS
EFJIC
EFKBS
EFLBG
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
ROL
SPC
SPCBC
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c294t-23cb82fbdfaa94390cfccf2000aca1ade994ec34b071e0e2ae9b9beba6b8d1c23
ISICitedReferencesCount 112
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000347601600009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2352-2208
IngestDate Sat Nov 29 01:44:43 EST 2025
Tue Nov 18 22:32:05 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 1
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c294t-23cb82fbdfaa94390cfccf2000aca1ade994ec34b071e0e2ae9b9beba6b8d1c23
OpenAccessLink https://doi.org/10.1016/j.jlamp.2014.02.001
PageCount 16
ParticipantIDs crossref_primary_10_1016_j_jlamp_2014_02_001
crossref_citationtrail_10_1016_j_jlamp_2014_02_001
PublicationCentury 2000
PublicationDate 2015-01-01
PublicationDateYYYYMMDD 2015-01-01
PublicationDate_xml – month: 01
  year: 2015
  text: 2015-01-01
  day: 01
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2015
References Hyland (10.1016/j.jlamp.2014.02.001_br0050) 2006; 357
Plotkin (10.1016/j.jlamp.2014.02.001_br0140) 2009; vol. 5502
Pretnar (10.1016/j.jlamp.2014.02.001_br0190) 2010
Plotkin (10.1016/j.jlamp.2014.02.001_br0110) 2002; vol. 2303
Milner (10.1016/j.jlamp.2014.02.001_br0090) 1997
Murdoch (10.1016/j.jlamp.2014.02.001_br0100) 2001; 13
Power (10.1016/j.jlamp.2014.02.001_br0180) 2004; vol. 106
Milner (10.1016/j.jlamp.2014.02.001_br0080) 1978; 17
Benton (10.1016/j.jlamp.2014.02.001_br0010) 2002
Escardó (10.1016/j.jlamp.2014.02.001_br0030) 2010; 20
Leroy (10.1016/j.jlamp.2014.02.001_br0060) 2011
Danvy (10.1016/j.jlamp.2014.02.001_br0020) 1992; 2
Plotkin (10.1016/j.jlamp.2014.02.001_br0150) 2001; vol. 2030
Reynolds (10.1016/j.jlamp.2014.02.001_br0200) 2000
Hyland (10.1016/j.jlamp.2014.02.001_br0040) 2007; 375
Blain Levy (10.1016/j.jlamp.2014.02.001_br0070) 2003; 185
Plotkin (10.1016/j.jlamp.2014.02.001_br0160) 2003
Wadler (10.1016/j.jlamp.2014.02.001_br0210) 1995
Plotkin (10.1016/j.jlamp.2014.02.001_br0130) 2008; vol. 218
Plotkin (10.1016/j.jlamp.2014.02.001_br0170) 2008
Plotkin (10.1016/j.jlamp.2014.02.001_br0120) 2003; 11
Wright (10.1016/j.jlamp.2014.02.001_br0220) 1995
References_xml – year: 2011
  ident: 10.1016/j.jlamp.2014.02.001_br0060
– volume: 357
  start-page: 70
  issue: 1–3
  year: 2006
  ident: 10.1016/j.jlamp.2014.02.001_br0050
  article-title: Combining effects: sum and tensor
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2006.03.013
– volume: vol. 2030
  start-page: 1
  year: 2001
  ident: 10.1016/j.jlamp.2014.02.001_br0150
  article-title: Adequacy for algebraic effects
– volume: 13
  start-page: 341
  issue: 3–5
  year: 2001
  ident: 10.1016/j.jlamp.2014.02.001_br0100
  article-title: A new approach to abstract syntax with variable binding
  publication-title: Form. Asp. Comput.
– volume: vol. 106
  start-page: 297
  year: 2004
  ident: 10.1016/j.jlamp.2014.02.001_br0180
  article-title: From comodels to coalgebras: state and arrays
– volume: 17
  start-page: 348
  year: 1978
  ident: 10.1016/j.jlamp.2014.02.001_br0080
  article-title: A theory of type polymorphism in programming
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/0022-0000(78)90014-4
– start-page: 42
  year: 2002
  ident: 10.1016/j.jlamp.2014.02.001_br0010
  article-title: Monads and effects
– volume: vol. 5502
  start-page: 80
  year: 2009
  ident: 10.1016/j.jlamp.2014.02.001_br0140
  article-title: Handlers of algebraic effects
– year: 2003
  ident: 10.1016/j.jlamp.2014.02.001_br0160
  article-title: Logic for computational effects: work in progress
  doi: 10.14236/ewic/IWFM2003.3
– start-page: 343
  year: 1995
  ident: 10.1016/j.jlamp.2014.02.001_br0220
  article-title: Simple imperative polymorphism
– year: 2000
  ident: 10.1016/j.jlamp.2014.02.001_br0200
– volume: vol. 2303
  start-page: 342
  year: 2002
  ident: 10.1016/j.jlamp.2014.02.001_br0110
  article-title: Notions of computation determine monads
– volume: 11
  start-page: 69
  issue: 1
  year: 2003
  ident: 10.1016/j.jlamp.2014.02.001_br0120
  article-title: Algebraic operations and generic effects
  publication-title: Appl. Categ. Struct.
  doi: 10.1023/A:1023064908962
– start-page: 118
  year: 2008
  ident: 10.1016/j.jlamp.2014.02.001_br0170
  article-title: A logic for algebraic effects
– volume: 20
  start-page: 127
  year: 2010
  ident: 10.1016/j.jlamp.2014.02.001_br0030
  article-title: Selection functions, bar recursion and backward induction
  publication-title: Math. Struct. Comput. Sci.
  doi: 10.1017/S0960129509990351
– volume: 185
  start-page: 182
  year: 2003
  ident: 10.1016/j.jlamp.2014.02.001_br0070
  article-title: Modelling environments in call-by-value programming languages
  publication-title: Inf. Comput.
  doi: 10.1016/S0890-5401(03)00088-9
– volume: 375
  start-page: 20
  issue: 1–3
  year: 2007
  ident: 10.1016/j.jlamp.2014.02.001_br0040
  article-title: Combining algebraic effects with continuations
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2006.12.026
– start-page: 24
  year: 1995
  ident: 10.1016/j.jlamp.2014.02.001_br0210
  article-title: Monads for functional programming
– year: 2010
  ident: 10.1016/j.jlamp.2014.02.001_br0190
– volume: vol. 218
  start-page: 295
  year: 2008
  ident: 10.1016/j.jlamp.2014.02.001_br0130
  article-title: Tensors of comodels and models for operational semantics
– volume: 2
  start-page: 361
  issue: 4
  year: 1992
  ident: 10.1016/j.jlamp.2014.02.001_br0020
  article-title: Representing control: a study of the CPS transformation
  publication-title: Math. Struct. Comput. Sci.
  doi: 10.1017/S0960129500001535
– year: 1997
  ident: 10.1016/j.jlamp.2014.02.001_br0090
SSID ssj0001687831
Score 2.3827016
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 108
Title Programming with algebraic effects and handlers
Volume 84
WOSCitedRecordID wos000347601600009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 2352-2208
  databaseCode: AIEXJ
  dateStart: 20140301
  customDbUrl:
  isFulltext: true
  dateEnd: 20180131
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0001687831
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3PT4MwFG7UefDib-PvcPAoCi0OelyMRo0uO0yzG2lLm4womm2a_fm-0lLQJYs7eCEESmn5mtfH69f3IXRGGAkEVrFPVaz8SFLi80AFfibA3-BSCVzm0nt5jLvdZDCgPbvjelzKCcRFkUyn9ONfoYZrALbeOrsA3K5SuADnADocAXY4_gn4nmFcvbkoq1bygH_ioXDkDR0sN-kV7FrOrHdamcQyl6urwOhNG-p5_Zo6GvpptbE1SzJ3VnckJ4XhcT9BG3PWjDSEV41IQ2mQMDhrPsZB0rSeRuDtxygxpjC05cysGppdxTMG28QO8oscxr9OHxpGJoVqWM9P1Zr8r2nLkQkrnlqelpWkupI0wJqtt4xaOL6iYO1anfubwUMdfWsncVKKVbpOVSmpSvLfTHMabkvD_-hvonULjdcxgG-hJVlso41KlMOzNnoHXTbw9zT-noPPs_h7AKpX4b-Lnm9v-td3vlXF8AWm0cTHRPAEK54pxii4k4FQQii944oJFrJMUhpJQSIOzqMMJGaScsolZ22eZKHAZA-tFO-F3Eeegom6zagWKEsiwmPeZpkAf1MwBjcUOUC46nQqbMp4rVzyms755gfo3D30YTKmzCt-uFjxI7RWD81jtDIZfcoTtCq-JsPx6NTC_A24N2hz
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Programming+with+algebraic+effects+and+handlers&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Bauer%2C+Andrej&rft.au=Pretnar%2C+Matija&rft.date=2015-01-01&rft.issn=2352-2208&rft.volume=84&rft.issue=1&rft.spage=108&rft.epage=123&rft_id=info:doi/10.1016%2Fj.jlamp.2014.02.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2014_02_001
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon