non-specific Zotero failure vs TooBib output,

Fri Jun 24 12:19:02 CEST 2022

 I ran into another "fails" post,

https://forums.zotero.org/discussion/97682/error-when-saving-for-some-acm-dl-publications#latest

that mentions this link,

https://dl.acm.org/doi/10.1145/3428284

and I would be happy to reply and discuss there except nothing
I have posted has made it to the board...
Really I'm  not sure what the objection would be to some 
additional input on downloading citations as this is a common
problem that may have many resolutions. 
But, in any case,
without knowing what the OP is seeing, I did find
TooBib could return 6 candidates. The first two 
used the coi from the link and page text and appear
to return good results. The later ones scraped 
citation info from the html. I have noted
that Zotero appears to look for html metadata
first ( when it returns sparse bibtex it seems consistent
with meta scraping )  and ignores json or apparently doi
lookup. Probably the "professional" approach is
just to try to perfect one fragile translator per site without
a fall back to other strategies but I can only
speculate :)  Everyone is aware the html is not case in stone
and a search strategy would seem to be prudent especially in
this setting.  

 toobib -local -all
toobib set to ../toobib/toobib.out -devel
mjm>clip xxxx all
./toobib.h546  cmd=clip p1=xxxx p2=all flags=15 x.flag_to_string(flags,0)=show_decisions show_trial keep_going collect_all 
./mjm_med2bib_guesses.h982  uin=https://dl.acm.org/doi/10.1145/3428284 dest=xxxx flags=15
./mjm_med2bib_guesses.h1133 % mjmhandler: toobib handledoilink(crossref)
% date 2022-06-24:06:08:11 Fri Jun 24 06:08:11 EDT 2022
% srcurl: https://dl.acm.org/doi/10.1145/3428284
% citeurl: http://api.crossref.org/works/10.1145/3428284
@article{Liu_Parker_Redmond_Verifying_replicated_data_types_2020,
X_TooBib = {date: 11/13/2020},
X_TooBib = {year: 2020,  infield_fix_dates },
X_TooBib = {urldate: FixBeKvp s= cmd=date "+%Y-%m-%d" d=2022-06-24 dn=urldate},
X_TooBib = {author: Liu , Yiyun and Parker , James and Redmond , Patrick and Kuper , Lindsey and Hicks , Michael and Vazou , Niki},
abbrvjrnl = {Proc. ACM Program. Lang.},
abstract = {<jats:p> {This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with <jats:italic>refinement types</jats:italic> {our} work allows such types to be attached to typeclass method declarations, and ensures that instance implementations respect these types. {The} engineering of this extension is a modular interaction between {GHC,} the {Glasgow} {Haskell} {Compiler,} and {Liquid} {Haskell's} core proof infrastructure. {The} design sheds light on the interplay between modular proofs and typeclass resolution, which in {Haskell} is coherent by default (meaning that resolution always selects the same implementation for a particular instantiating type), but in other dependently typed languages is not. </jats:p> <jats:p>{We} demonstrate the utility of our extension by using {Liquid} {Haskell} to modularly verify that {34} instances satisfy the laws of five standard typeclasses.</jats:p> <jats:p> {More} substantially, we implement a framework for programming distributed applications based on <jats:italic>replicated data types</jats:italic> {(RDTs).} {We} define a typeclass whose {Liquid} {Haskell} type captures the mathematical properties {RDTs} should satisfy; prove in {Liquid} {Haskell} that these properties are sufficient to ensure that {replicas'} states converge despite out-of-order update delivery; implement (and prove correct) several instances of our {RDT} typeclass; and use them to build two realistic applications, a multi-user calendar event planner and a collaborative text editor. </jats:p>
},
abstract_as_rcvd = {<jats:p> This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with <jats:italic>refinement types</jats:italic> �our work allows such types to be attached to typeclass method declarations, and ensures that instance implementations respect these types. The engineering of this extension is a modular interaction between GHC, the Glasgow Haskell Compiler, and Liquid Haskell��s core proof infrastructure. The design sheds light on the interplay between modular proofs and typeclass resolution, which in Haskell is coherent by default (meaning that resolution always selects the same implementation for a particular instantiating type), but in other dependently typed languages is not. </jats:p> <jats:p>We demonstrate the utility of our extension by using Liquid Haskell to modularly verify that 34 instances satisfy the laws of five standard typeclasses.</jats:p> <jats:p> More substantially, we implement a framework for programming distributed applications based on <jats:italic>replicated data types</jats:italic> (RDTs). We define a typeclass whose Liquid Haskell type captures the mathematical properties RDTs should satisfy; prove in Liquid Haskell that these properties are sufficient to ensure that replicas�� states converge despite out-of-order update delivery; implement (and prove correct) several instances of our RDT typeclass; and use them to build two realistic applications, a multi-user calendar event planner and a collaborative text editor. </jats:p>},
affiliation = {University of Maryland at College Park, USA and University of Maryland at College Park, USA and University of California at Santa Cruz, USA and University of California at Santa Cruz, USA and University of Maryland at College Park, USA and IMDEA Software Institute, Spain},
alternative-id = {10.1145/3428284},
author = {Liu , Yiyun and Parker , James and Redmond , Patrick and Kuper , Lindsey and Hicks , Michael and Vazou , Niki},
author_orig = {Yiyun Liu and James Parker and Patrick Redmond and Lindsey Kuper and Michael Hicks and Niki Vazou},
bib-source = {Crossref},
content-domain = {false},
date = {11/13/2020},
date-created = {2020-11-24T23:36:06Z},
date-deposited = {2022-02-172022-02-17T19:34:52Z},
date-indexed = {2022-06-09T21:29:18Z},
date-issued = {2020-11-13},
date-journal-issue = {2020-11-13},
date-license = {2020-11-132020-11-13T00:00:00Z},
date-published-print = {2020-11-13},
date_orig = {2020-11-13    },
deposited = {1645126492000},
doi = {10.1145/3428284},
funder = {Comunidad de Madrid BLOQUESCM, S2018/TCS-4339, Attractio?n de Talento, 2019-T2/TIC-13455, 10.13039/100000185, Defense Advanced Research Projects Agency, publisher, FA8750-16-C-0022, 10.13039/100006785, Google, crossref, 10.13039/100008536, Amazon Web Services, publisher, National Science Foundation, CNS-1563722, CNS-1801545},
is-referenced-by-count = {3},
issn = {2475-1421},
issn-type = {2475-1421, electronic},
issue = {OOPSLA},
journal = {Proceedings of the ACM on Programming Languages},
journal-issue = {OOPSLA},
language = {en},
license = {1605225600000, vor, 0, http://www.acm.org/publications/policies/copyright_policy#Background},
link = {https://dl.acm.org/doi/pdf/10.1145/3428284, application/pdf, vor, syndication, https://dl.acm.org/doi/pdf/10.1145/3428284, unspecified, vor, similarity-checking},
member = {320},
page = {1-30},
prefix = {10.1145},
publisher = {Association for Computing Machinery (ACM)},
reference = {deleted for space},
reference-count = {45},
references-count = {45},
resource = {https://dl.acm.org/doi/10.1145/3428284},
score = {1},
subject = {Software},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell},
type = {journal-article},
url = {http://dx.doi.org/10.1145/3428284},
urldate = {2022-06-24},
volume = {4},
year = {2020},
final_assembly ={ TooBib handler handledoilink(crossref)},
srcurl={https://dl.acm.org/doi/10.1145/3428284},
xsrcurl={https://dl.acm.org/doi/10.1145/3428284},
citeurl={http://api.crossref.org/works/10.1145/3428284}

}

% mjmhandler: toobib handledoi(crossref)
% date 2022-06-24:06:08:14 Fri Jun 24 06:08:14 EDT 2022
% srcurl: https://dl.acm.org/doi/10.1145/3428284
% citeurl: http://api.crossref.org/works/10.1145%2F3428284
@article{Liu_Parker_Redmond_Verifying_replicated_data_types_2020,
X_TooBib = {date: 11/13/2020},
X_TooBib = {year: 2020,  infield_fix_dates },
X_TooBib = {urldate: FixBeKvp s= cmd=date "+%Y-%m-%d" d=2022-06-24 dn=urldate},
X_TooBib = {author: Liu , Yiyun and Parker , James and Redmond , Patrick and Kuper , Lindsey and Hicks , Michael and Vazou , Niki},
abbrvjrnl = {Proc. ACM Program. Lang.},
abstract = {<jats:p> {This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with <jats:italic>refinement types</jats:italic> {our} work allows such types to be attached to typeclass method declarations, and ensures that instance implementations respect these types. {The} engineering of this extension is a modular interaction between {GHC,} the {Glasgow} {Haskell} {Compiler,} and {Liquid} {Haskell's} core proof infrastructure. {The} design sheds light on the interplay between modular proofs and typeclass resolution, which in {Haskell} is coherent by default (meaning that resolution always selects the same implementation for a particular instantiating type), but in other dependently typed languages is not. </jats:p> <jats:p>{We} demonstrate the utility of our extension by using {Liquid} {Haskell} to modularly verify that {34} instances satisfy the laws of five standard typeclasses.</jats:p> <jats:p> {More} substantially, we implement a framework for programming distributed applications based on <jats:italic>replicated data types</jats:italic> {(RDTs).} {We} define a typeclass whose {Liquid} {Haskell} type captures the mathematical properties {RDTs} should satisfy; prove in {Liquid} {Haskell} that these properties are sufficient to ensure that {replicas'} states converge despite out-of-order update delivery; implement (and prove correct) several instances of our {RDT} typeclass; and use them to build two realistic applications, a multi-user calendar event planner and a collaborative text editor. </jats:p>
},
abstract_as_rcvd = {<jats:p> This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with <jats:italic>refinement types</jats:italic> �our work allows such types to be attached to typeclass method declarations, and ensures that instance implementations respect these types. The engineering of this extension is a modular interaction between GHC, the Glasgow Haskell Compiler, and Liquid Haskell�s core proof infrastructure. The design sheds light on the interplay between modular proofs and typeclass resolution, which in Haskell is coherent by default (meaning that resolution always selects the same implementation for a particular instantiating type), but in other dependently typed languages is not. </jats:p> <jats:p>We demonstrate the utility of our extension by using Liquid Haskell to modularly verify that 34 instances satisfy the laws of five standard typeclasses.</jats:p> <jats:p> More substantially, we implement a framework for programming distributed applications based on <jats:italic>replicated data types</jats:italic> (RDTs). We define a typeclass whose Liquid Haskell type captures the mathematical properties RDTs should satisfy; prove in Liquid Haskell that these properties are sufficient to ensure that replicas� states converge despite out-of-order update delivery; implement (and prove correct) several instances of our RDT typeclass; and use them to build two realistic applications, a multi-user calendar event planner and a collaborative text editor. </jats:p>},
affiliation = {University of Maryland at College Park, USA and University of Maryland at College Park, USA and University of California at Santa Cruz, USA and University of California at Santa Cruz, USA and University of Maryland at College Park, USA and IMDEA Software Institute, Spain},
alternative-id = {10.1145/3428284},
author = {Liu , Yiyun and Parker , James and Redmond , Patrick and Kuper , Lindsey and Hicks , Michael and Vazou , Niki},
author_orig = {Yiyun Liu and James Parker and Patrick Redmond and Lindsey Kuper and Michael Hicks and Niki Vazou},
bib-source = {Crossref},
content-domain = {false},
date = {11/13/2020},
date-created = {2020-11-24T23:36:06Z},
date-deposited = {2022-02-172022-02-17T19:34:52Z},
date-indexed = {2022-06-09T21:29:18Z},
date-issued = {2020-11-13},
date-journal-issue = {2020-11-13},
date-license = {2020-11-132020-11-13T00:00:00Z},
date-published-print = {2020-11-13},
date_orig = {2020-11-13    },
deposited = {1645126492000},
doi = {10.1145/3428284},
funder = {Comunidad de Madrid BLOQUESCM, S2018/TCS-4339, Attractio?n de Talento, 2019-T2/TIC-13455, 10.13039/100000185, Defense Advanced Research Projects Agency, publisher, FA8750-16-C-0022, 10.13039/100006785, Google, crossref, 10.13039/100008536, Amazon Web Services, publisher, National Science Foundation, CNS-1563722, CNS-1801545},
is-referenced-by-count = {3},
issn = {2475-1421},
issn-type = {2475-1421, electronic},
issue = {OOPSLA},
journal = {Proceedings of the ACM on Programming Languages},
journal-issue = {OOPSLA},
language = {en},
license = {1605225600000, vor, 0, http://www.acm.org/publications/policies/copyright_policy#Background},
link = {https://dl.acm.org/doi/pdf/10.1145/3428284, application/pdf, vor, syndication, https://dl.acm.org/doi/pdf/10.1145/3428284, unspecified, vor, similarity-checking},
member = {320},
page = {1-30},
prefix = {10.1145},
publisher = {Association for Computing Machinery (ACM)},
reference = {deleted for space},
reference-count = {45},
references-count = {45},
resource = {https://dl.acm.org/doi/10.1145/3428284},
score = {1},
subject = {Software},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell},
type = {journal-article},
url = {http://dx.doi.org/10.1145/3428284},
urldate = {2022-06-24},
volume = {4},
year = {2020},
final_assembly ={ TooBib handler handledoi(crossref)},
srcurl={https://dl.acm.org/doi/10.1145/3428284},
xsrcurl={https://dl.acm.org/doi/10.1145/3428284},
citeurl={http://api.crossref.org/works/10.1145%2F3428284}

}

% mjmhandler: toobib handleldjson2(all)
% date 2022-06-24:06:08:23 Fri Jun 24 06:08:23 EDT 2022
% srcurl: https://dl.acm.org/doi/10.1145/3428284
% citeurl: https://dl.acm.org/doi/10.1145/3428284
@article{DUM_Verifying_replicated_data_types_,
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {publisher: ReWriteParse be.get(s)= be.get(dest)=},
X_TooBib = {journal: ReWriteParse be.get(s)= be.get(dest)=},
X_TooBib = {urldate: FixBeKvp s= cmd=date "+%Y-%m-%d" d=2022-06-24 dn=urldate},
X_TooBib = {author: },
author = {},
author_orig = {},
pagetitle = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
rayid = {6e539318ac0a38db and 7204a9193bc607e6},
si = {100 and 100},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
token = {b7f168b3cd354a55a4dd51b513830799 and b7f168b3cd354a55a4dd51b513830799},
urldate = {2022-06-24},
version = {2021.12.0 and 2022.6.0},
x_rayid = {6e539318ac0a38db and 7204a9193bc607e6},
x_si = {100 and 100},
x_token = {b7f168b3cd354a55a4dd51b513830799 and b7f168b3cd354a55a4dd51b513830799},
x_version = {2021.12.0 and 2022.6.0},
final_assembly ={ TooBib handler handleldjson2(all)},
url={https://dl.acm.org/doi/10.1145/3428284},
srcurl={https://dl.acm.org/doi/10.1145/3428284},
xsrcurl={https://dl.acm.org/doi/10.1145/3428284},
citeurl={https://dl.acm.org/doi/10.1145/3428284}

}

% mjmhandler: toobib handleadhochtml<-DC
% date 2022-06-24:06:08:23 Fri Jun 24 06:08:23 EDT 2022
% srcurl: https://dl.acm.org/doi/10.1145/3428284
% citeurl: https://dl.acm.org/doi/10.1145/3428284
@article{DUM_Verifying_replicated_data_types_2020,
X_TooBib = {date: 11/13/2020},
X_TooBib = {year: 2020,  infield_fix_dates },
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {journal: ReWriteParse be.get(s)=ACM PUB27 New York, NY, USA be.get(dest)=},
X_TooBib = {urldate: FixBeKvp s= cmd=date "+%Y-%m-%d" d=2022-06-24 dn=urldate},
X_TooBib = {author: },
author = {},
author_orig = {},
coverage = {New York, NY, USA},
creator = {LiuYiyun and ParkerJames and RedmondPatrick and KuperLindsey and HicksMichael and VazouNiki},
date = {11/13/2020},
date_orig = {2020-11-13    },
description = {{This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with refinement {typesour} work ...
},
description_as_rcvd = {This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types�our work ...},
format = {text/HTML},
identifier = {3428284 and 10.1145/3428284 and oopsla20main-p469-p and 216},
journal = {ACM PUB27 New York, NY, USA},
language = {EN},
pagetitle = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
publisher = {ACM PUB27 New York, NY, USA},
subject = {CRDTs; Liquid Haskell; refinement types; replicated data types; typeclasses},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
type = {research-article},
urldate = {2022-06-24},
year = {2020},
final_assembly ={ TooBib handler handleadhochtml},
url={https://dl.acm.org/doi/10.1145/3428284},
srcurl={https://dl.acm.org/doi/10.1145/3428284},
xsrcurl={https://dl.acm.org/doi/10.1145/3428284},
citeurl={https://dl.acm.org/doi/10.1145/3428284}

}

% mjmhandler: toobib handleadhochtml<-og
% date 2022-06-24:06:08:23 Fri Jun 24 06:08:23 EDT 2022
% srcurl: https://dl.acm.org/doi/10.1145/3428284
% citeurl: https://dl.acm.org/doi/10.1145/3428284
@article{DUM_Verifying_replicated_data_types_,
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {publisher: ReWriteParse be.get(s)=Proceedings of the ACM on Programming Languages be.get(dest)=},
X_TooBib = {journal: ReWriteParse be.get(s)=Proceedings of the ACM on Programming Languages be.get(dest)=},
X_TooBib = {urldate: FixBeKvp s= cmd=date "+%Y-%m-%d" d=2022-06-24 dn=urldate},
X_TooBib = {author: },
abstract = {{This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with refinement {typesour} work allows such types to be attached to typeclass method ...
},
abstract_as_rcvd = {This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types��our work allows such types to be attached to typeclass method ...},
author = {},
author_orig = {},
date = {},
description = {{This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with refinement {typesour} work allows such types to be attached to typeclass method ...
},
description_as_rcvd = {This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types��our work allows such types to be attached to typeclass method ...},
image = {https://dl.acm.org/cms/asset/d67a109b-2ad0-4b9e-b95e-1c14b6c8a113/3436718.cover.gif},
image:height = {150},
image:width = {101},
journal = {Proceedings of the ACM on Programming Languages},
pagetitle = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
publisher = {Proceedings of the ACM on Programming Languages},
site_name = {Proceedings of the ACM on Programming Languages},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell | Proceedings of the ACM on Programming Languages},
type = {Article},
url = {https://dl.acm.org/doi/abs/10.1145/3428284},
urldate = {2022-06-24},
x_toobib_mutatemissing = {ds=abstract (*ii).second= This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement typesour work allows such types to be attached to typeclass method ... ss=description},
x_toobib_mutatemissing_as_rcvd = {ds=abstract (*ii).second= This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types��our work allows such types to be attached to typeclass method ... ss=description},
final_assembly ={ TooBib handler handleadhochtml},
srcurl={https://dl.acm.org/doi/10.1145/3428284},
xsrcurl={https://dl.acm.org/doi/10.1145/3428284},
citeurl={https://dl.acm.org/doi/10.1145/3428284}

}

% mjmhandler: toobib handleadhochtml<-all
% date 2022-06-24:06:08:23 Fri Jun 24 06:08:23 EDT 2022
% srcurl: https://dl.acm.org/doi/10.1145/3428284
% citeurl: https://dl.acm.org/doi/10.1145/3428284
@article{DUM_Verifying_replicated_data_types_,
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {author: ReWriteParse be.get("author")=},
X_TooBib = {publisher: ReWriteParse be.get(s)= be.get(dest)=},
X_TooBib = {journal: ReWriteParse be.get(s)= be.get(dest)=},
X_TooBib = {urldate: FixBeKvp s= cmd=date "+%Y-%m-%d" d=2022-06-24 dn=urldate},
X_TooBib = {author: },
author = {},
author_orig = {},
citation_fulltext_world_readable = {},
citation_journal_title = {Proceedings of the ACM on Programming Languages},
date = {},
dc.coverage = {New York, NY, USA},
dc.creator = {LiuYiyun and ParkerJames and RedmondPatrick and KuperLindsey and HicksMichael and VazouNiki},
dc.date = {2020-11-13},
dc.description = {{This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with refinement {typesour} work ...
},
dc.description_as_rcvd = {This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types�our work ...},
dc.format = {text/HTML},
dc.identifier = {3428284 and 10.1145/3428284 and oopsla20main-p469-p and 216},
dc.language = {EN},
dc.publisher = {ACM PUB27 New York, NY, USA},
dc.subject = {CRDTs; Liquid Haskell; refinement types; replicated data types; typeclasses},
dc.title = {Verifying replicated data types with typeclass refinements in Liquid Haskell},
dc.type = {research-article},
description = {{This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with refinement {typesour} work ...
},
description_as_rcvd = {This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types�our work ...},
keywords = {CRDTs,Liquid Haskell,refinement types,replicated data types,typeclasses},
msapplicationtilecolor = {#00a300},
og:description = {{This} paper presents an extension to {Liquid} {Haskell} that facilitates stating and semi-automatically proving properties of typeclasses. {Liquid} {Haskell} augments {Haskell} with refinement {typesour} work allows such types to be attached to typeclass method ...
},
og:description_as_rcvd = {This paper presents an extension to Liquid Haskell that facilitates stating and semi-automatically proving properties of typeclasses. Liquid Haskell augments Haskell with refinement types�our work allows such types to be attached to typeclass method ...},
og:image = {https://dl.acm.org/cms/asset/d67a109b-2ad0-4b9e-b95e-1c14b6c8a113/3436718.cover.gif},
og:image:height = {150},
og:image:width = {101},
og:site_name = {Proceedings of the ACM on Programming Languages},
og:title = {Verifying replicated data types with typeclass refinements in Liquid Haskell | Proceedings of the ACM on Programming Languages},
og:type = {Article},
og:url = {https://dl.acm.org/doi/abs/10.1145/3428284},
pagetitle = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
pbcontext = {;issue:issue:doi\:10.1145/3436718;wgroup:string:ACM Publication Websites;groupTopic:topic:acm-pubtype>journal;csubtype:string:Journal;requestedJournal:journal:pacmpl;serialTopic:topic:acm-pubtype>journal;article:article:doi\:10.1145/3428284;page:string:Article/Chapter View;ctype:string:Journal Content;subPage:string:Abstract;journal:journal:pacmpl;website:website:dl-site;taxonomy:taxonomy:acm-pubtype;pageGroup:string:Publication Pages},
robots = {noarchive},
themecolor = {#ffffff},
title = {Verifying replicated data types with typeclass refinements in Liquid Haskell Proceedings of the ACM on Programming Languages},
urldate = {2022-06-24},
viewport = {width=device-width,initial-scale=1},
x_fix_key = {StrTy(cc)=XUACompatible StrTy(ecc)=X\-UA\-Compatible nfix=2},
x_fix_key = {StrTy(cc)=msapplicationTileColor StrTy(ecc)=msapplication\-TileColor nfix=3},
x_fix_key = {StrTy(cc)=themecolor StrTy(ecc)=theme\-color nfix=4},
xuacompatible = {IE=edge},
final_assembly ={ TooBib handler handleadhochtml},
url={https://dl.acm.org/doi/10.1145/3428284},
srcurl={https://dl.acm.org/doi/10.1145/3428284},
xsrcurl={https://dl.acm.org/doi/10.1145/3428284},
citeurl={https://dl.acm.org/doi/10.1145/3428284}

}

./mjm_med2bib_guesses.h1141  saving to  df=xxxx
./mjm_med2bib_guesses.h1155  have citation   nfound=6 cite=\cite{Liu_Parker_Redmond_Verifying_replicated_data_types_2020} something=1 paste_citation=0
mjm>quit

-- 

mike marchywka
306 charles cox
canton GA 30115
USA, Earth 
marchywka at hotmail.com
404-788-1216
ORCID: 0000-0001-9237-455X