-
Notifications
You must be signed in to change notification settings - Fork 0
/
auto-Applicative.bib
36 lines (33 loc) · 1.39 KB
/
auto-Applicative.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
%%%% WARNING! AUTOMATICALLY CREATED BIBFILE
%%%% DO NOT EDIT! ALL CHANGES WILL BE LOST!
@STRING{eptcs = "Electr. Proc. in Theor. Comp. Sci." }
@STRING{jfp = "J. Func. Program." }
@STRING{msfp14 = "Proc. 5th Wksh. on Mathematically Structured Functional
Programming, {MSFP} 2014" }
@InProceedings{ capriottiKaposi:msfp14,
author = {Paolo Capriotti and Ambrus Kaposi},
editor = {Paul Blain Levy and Neel Krishnaswami},
title = {Free Applicative Functors},
booktitle = msfp14,
series = eptcs,
volume = 153,
pages = {2--30},
year = 2014,
url = {https://doi.org/10.4204/EPTCS.153.2},
timestamp = {Wed, 29 Sep 2021 08:56:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CapriottiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Article{ mcBridePaterson:jfp08,
author = {Conor McBride and Ross Paterson},
title = {Applicative programming with effects},
journal = jfp,
volume = 18,
number = 1,
pages = {1--13},
year = 2008,
url = {https://doi.org/10.1017/S0956796807006326},
timestamp = {Fri, 02 Nov 2018 09:31:48 +0100},
biburl = {https://dblp.org/rec/journals/jfp/McbrideP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}