FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

Autor: Jonathan Coates, Jan Stolarek, Frank Emrich, James Cheney, Sam Lindley

Publikováno v: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Emrich, F, Lindley, S, Stolarek, J, Cheney, J & Coates, J 2020, FreezeML : Complete and Easy Type Inference for First-Class Polymorphism . in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Association for Computing Machinery (ACM), pp. 423-437, 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 15/06/20 . https://doi.org/10.1145/3385412.3386003
PLDI

ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is limited to a form of polymorphism in which quantifiers can occur only a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bea7287ff18673400fc09a6d9808581

Shared medical appointments for managing pain in primary care settings?

Autor: Fraser Gething, Jonathan Coates, Mark I. Johnson

Publikováno v: Pain Management. 7:223-227

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89d8de7495fe4bb0f456f7b24045f6d9
https://doi.org/10.2217/pmt-2017-0016

Crystal Structures of Novel Allosteric Peptide Inhibitors of HIV Integrase Identify New Interactions at the LEDGF Binding Site

Autor: Philip Rea, Nicholas J. Ede, John Deadman, Thomas S. Peat, Jonathan Coates, Janet Newman, Dharshini Jeevarajah, David Ian Rhodes, Nick Vandegraaff, John Martyn

Publikováno v: ChemBioChem. 12:2311-2315

An optimised method of solution cyclisation gave us access to a series of peptides including SLKIDNLD (2). We investigated the crystallographic complexes of the HIV integrase (HIV-IN) catalytic core domain with 13 of the peptides and identified multi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6fceab612aa6b6ac79143d4f27e252a
https://doi.org/10.1002/cbic.201100350

Design of a series of bicyclic HIV-1 integrase inhibitors. Part 1: Selection of the scaffold

Autor: Xiao Feng, Changjiang Yu, Katherine Macfarlane, Giang Thanh Le, Eric Dale Jones, John Deadman, David Ian Rhodes, Neeranat Thienthong, Nick Vandegraaff, Long Lu, Xinming Li, Lisa Jane Winfield, Jonathan Coates, Neil Choi, William Issa

Publikováno v: Bioorganic & Medicinal Chemistry Letters. 20:5913-5917

HIV integrase inhibitors based on a novel bicyclic pyrimidinone core is presented. Nine variations of the core scaffold are evaluated leading to optimization of the 6:6 core giving compound 48 with an EC50 of 3 nM against wild type HIV infected T-cel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f71f90d1f2b9956a6092f9c40795a171
https://doi.org/10.1016/j.bmcl.2010.07.079

Discovery of potent HIV integrase inhibitors active against raltegravir resistant viruses

Autor: John Deadman, Xiao Feng, Changjiang Yu, Jonathan Coates, Xinming Li, Eric Dale Jones, David Ian Rhodes, Nick Vandegraaff, Long Lu, Giang Thanh Le

Publikováno v: Bioorganic & Medicinal Chemistry Letters. 20:5013-5018

A series of novel HIV integrase inhibitors active against rategravir resistant strains are reported. Initial SAR studies revealed that activities against wild-type virus were successfully maintained at single digit nanomolar level with a wide range o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a13ba0c239abcc7004ba8c27ab6ba40e
https://doi.org/10.1016/j.bmcl.2010.07.041