A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Recasting MLF
2009
Information and Computation
Preserved Fulltext
We show an embedding of ML in eML F and a straightforward encoding of System F into eML F . ...
We introduce a Curry-style version iML F of ML F and provide an interpretation of iML F types as instantiation-closed sets of System-F types, from which we derive the definition of type-instance in iML ...
Acknowledgments The authors are grateful to Boris Yakobowski for many technical discussions and his expertise on the graphic presentation of ML F . ...
doi:10.1016/j.ic.2008.12.006
fatcat:ojbaprppgzarpbozexjauazbfm
From ML to MLF
2008
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent ML F types. ...
We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or ML F . ...
Acknowledgments We would like to thank Didier Le Botlan and Yann Régis-Gianas for numerous helpful suggestions on previous versions of this work. ...
doi:10.1145/1411203.1411216
fatcat:auekis6qnfamzhpnx6curkrakq
From ML to MLF
2008
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent ML F types. ...
We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or ML F . ...
Acknowledgments We would like to thank Didier Le Botlan and Yann Régis-Gianas for numerous helpful suggestions on previous versions of this work. ...
doi:10.1145/1411204.1411216
dblp:conf/icfp/RemyY08
fatcat:ghspgii22zfjbhunk4gvg3k72i
A church-style intermediate language for MLF
2012
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We exhibit a type preserving encoding of ML F into x ML F , which shows that x ML F can be used as the internal language for ML F after type inference, and also ensures type soundness for the most expressive ...
variant of ML F . ...
It is unsurprising that the elaboration of ML F into System F can be decomposed into our elaboration of ML F into x ML F followed by a translation of x ML F into System F. ...
doi:10.1016/j.tcs.2012.02.026
fatcat:kehmy5bww5eermlseewmsrljnq
Qualified types for MLF
2005
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We show how the theory of qualified types can be used seamlessly with the higher-ranked impredicative polymorphism of MLF, and give a solution to the non-trivial problem of evidence translation in the ...
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. ...
Acknowledgements We are indebted to Didier Le Botlan for his extensive and constructive comments on a draft of this paper. ...
doi:10.1145/1090189.1086385
fatcat:6ikr54gg75bbvbujdygnwawl4i
Qualified types for MLF
2005
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We show how the theory of qualified types can be used seamlessly with the higher-ranked impredicative polymorphism of MLF, and give a solution to the non-trivial problem of evidence translation in the ...
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. ...
Acknowledgements We are indebted to Didier Le Botlan for his extensive and constructive comments on a draft of this paper. ...
doi:10.1145/1086365.1086385
dblp:conf/icfp/LeijenL05
fatcat:uw7dgbhzczgljeaky245eccb5a
A graphical presentation of MLF types with a linear-time unification algorithm
2007
Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
ML F is a language that extends ML and System F and combines the benefits of both. ...
We propose a dag representation of ML F types that superposes a term-dag, encoding the underlying termstructure with sharing, and a binding tree encoding the bindingstructure. ...
with an initial large collection of examples and counter-examples of graphic types, sharing with us his expertise on ML F , and for many insightful discussions all along this work. ...
doi:10.1145/1190315.1190321
dblp:conf/tldi/RemyY07
fatcat:bfuq7zw2ffewnaowbmalgn76dq
Bacterial Chaperone Protein, Skp, Induces Leukocyte Chemotaxis via C5a Receptor
2004
American Journal of Pathology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
formed by His15, Arg46, and Lys49 of C5a, or a cluster with the Lys41-His42-Lys43 tandem of RP S19, seems to bind to the amino-terminal acidic moiety of C5a receptor, which is composed of several Asp ...
In addition to this, C5a stimulates PMNs via the C5a receptor to release granule contents and to produce radical oxygen species. 1 C5a also promotes monocytes/macrophages via the C5a receptor to synthesize ...
Takamune of the Department of Pharmaceutical Biochemistry, Kumamoto University, for his mass spectrometric analysis of the Skp preparation. ...
doi:10.1016/s0002-9440(10)63164-1
pmid:14982830
pmcid:PMC1613266
fatcat:5vjh5b2qfvde5bq5u5oq5rkyo4
Neural Progenitor Cell Implants in the Lesioned Medial Longitudinal Fascicle of Adult Cats Regulate Synaptic Composition and Firing Properties of Abducens Internuclear Neurons
2014
Journal of Neuroscience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Transplants of neural progenitor cells (NPCs) into the injured CNS have been proposed as a powerful tool for brain repair, but, to date, few studies on the physiological response of host neurons have been ...
Together, our results suggest that VEGF neurotrophic support might underlie the increased inhibitory-to-excitatory balance observed in the postimplant cells. ...
Another neurotrophin with powerful synaptotrophic actions on the oculomotor system is NGF. ...
doi:10.1523/jneurosci.4231-13.2014
pmid:24828653
pmcid:PMC6608105
fatcat:v7ztoiibtzbfrlodoecxq45zzm
Alginate-Based Hydrogel Beads as a Biocompatible and Efficient Adsorbent for Dye Removal from Aqueous Solutions
2018
ACS Omega
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The performance of the prepared adsorbents for the removal of methyl violet from aqueous solution was studied in detail. ...
Fourier transform infrared spectroscopy, X-ray diffraction pattern, and scanning electron microscopy/energy-dispersive X-ray techniques were used to characterize the prepared adsorbents. ...
The authors declare no competing financial interest.
■ ACKNOWLEDGMENTS The authors are grateful for the financial support from the Bu-Ali Sina University [grant number (32-12-67)]. ...
doi:10.1021/acsomega.8b02498
pmid:30555996
pmcid:PMC6289535
fatcat:c7il6bn4hnhtvewofz4j4fibxu
Miltefosine: a review of its pharmacology and therapeutic efficacy in the treatment of leishmaniasis
2012
Journal of Antimicrobial Chemotherapy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
53 kg and scaled allometrically with a power of 0.75 for CL/F and 1 for V 2 /F. ...
to miltefosine, with EC 50 values of 3.3 -4.6 mM (corresponding to 1.3 -1.9 mg/mL), while L. major was the least susceptible, with EC 50 values of 31.6-37.2 mM (corresponding to 12.9 -15.2 mg/mL). 83 ...
doi:10.1093/jac/dks275
pmid:22833634
fatcat:gstc4m6wbfgufitdemwbovbsri
Neurotransmitter phenotypes of descending systems in the rat lumbar spinal cord
2012
Neuroscience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
3 + glucose in PB, buffered to pH 7.4 To prepare 1L of 4% paraformaldehyde fixative solution:40 g paraformaldehyde 400 ml distilled H 2 O at ≈ 68°C 500 ml 0.2 PB NaOH, to raise pH (few drops) To prepare ...
Immunofluorescent axons from the MLF and serotoninImmunoreactive CTb terminals (A & E, red) from the MLF were reacted with antibodies against 5-HT (B & F, green) and VGAT (C, blue) and a mixture of VGLUT1 ...
Appendix 3 Table 3 Inhibitory axon terminals from the MLF and CVLM
MLF
Animal No.
5-HT and DBH contacts onto ChAT interneurons were expressed in terms of were expressed in terms of surface area ...
doi:10.1016/j.neuroscience.2012.09.037
pmid:23018001
fatcat:hfhy3r4wwjaotpgxoashkjad5m
Thrombin Induces Fibroblast CCL2/JE Production and Release via Coupling of PAR1 to Gαq and Cooperation between ERK1/2 and Rho Kinase Signaling Pathways
2008
Molecular Biology of the Cell
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The aim of this study was to identify the G protein and signaling pathway involved in PAR 1 -mediated CCL2 production and release. ...
We propose that targeting the interaction between PAR 1 and G␣ q may allow us to selectively interfere with PAR 1 proinflammatory and profibrotic signaling, while preserving the essential role of other ...
ACKNOWLEDGMENTS The authors thank the following for kindly providing essential research reagents: Professor Shaun Coughlin (University of California, San Francisco, CA) for WT and PAR 1 KO murine lung ...
doi:10.1091/mbc.e07-07-0720
pmid:18353977
pmcid:PMC2397294
fatcat:xztrp4lpsfcnzaqrubpnbi6vsa
Compositionality: Evidence from Code- Switching
[chapter]
2020
Formulaic Language and New Data
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The language-mixing patterns are presented in the framework of the MLF model (Myers-Scotton 2002; Myers-Scotton and Jake 2017). ...
The findings support both the Superlemma Theory of phraseme processing (Sprenger et al. 2006 ) and the MLF model of code-switching, as they provide empirical evidence for the unitary storage of phrasemes ...
According to the System Morpheme Principle, only the late outsider system morphemes must be supplied by the ML in bilingual constituents. ...
doi:10.1515/9783110669824-009
fatcat:fvs4udubsjbk3perahvzglhyou
Early emergence of structural constraints on code-mixing: evidence from French–English bilingual children
2000
Bilingualism: Language and Cognition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In contrast, the children produced comparatively more frequent violations of the System Morpheme Principle and showed increasing adherence to this principle over time. ...
With respect to the Morpheme Order Principle and to the interaction of Congruence and Matrix Language Blocking, they demonstrated consistent adherence with only marginal violations from the outset. ...
In an extension of the MLF model to the 4±M MLF model, Myers-Scotton and Jake (2000) break down the category of system morphemes into early and late system morphemes. ...
doi:10.1017/s1366728900000365
fatcat:4pyuh2dvzjfuvm75g3rxbfkah4
« Previous
Showing results 1 — 15 out of 459 results