Filters








32 Hits in 1.8 sec

Comparing libraries for generic programming in haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2009 SIGPLAN notices  
To compare and characterize the many generic programming libraries in a typed functional language, we introduce a set of criteria and develop a generic programming benchmark: a set of characteristic examples  ...  There are more than 10 proposals for generic programming libraries or language extensions for Haskell.  ...  We also thank the participants of the generics mailing list for the discussions and the code examples that sparked the work for this paper.  ... 
doi:10.1145/1543134.1411301 fatcat:2vz7c6glqzginhvst6ho4aahrq

Chemical Analysis of the Chinese Liquor Luzhoulaojiao by Comprehensive Two-Dimensional Gas Chromatography/Time-of-Flight Mass Spectrometry

Feng Yao, Bin Yi, Caihong Shen, Fei Tao, Yumin Liu, Zhixin Lin, Ping Xu
2015 Scientific Reports  
Luzhoulaojiao liquor is a type of Chinese liquor that dates back hundreds of years, but whose precise chemical composition remains unknown.  ...  A total of 320 compounds were common to all 18 types of Luzhoulaojiao liquor studied here, and 13 abundant and potentially bioactive compounds were further quantified.  ...  The Instrumental Analysis Center of Shanghai Jiao Tong University is acknowledged for testing support.  ... 
doi:10.1038/srep09553 pmid:25857434 pmcid:PMC4392506 fatcat:hsfalfss55fdzkra5v2flpyklu

Binders unbound

Stephanie Weirich, Brent A. Yorgey, Tim Sheard
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
We provide a formal semantics for this language derived from a locally nameless representation and prove that it satisfies a number of desirable properties.  ...  Our language is particularly expressive-it supports multiple atom types, pattern binders, type annotations, recursive binders, and nested binding (necessary for telescopes, a feature found in dependently-typed  ...  Thanks are also due to the Penn PLClub for feedback on an early draft of this paper. This material is based upon work supported by the National Science Foundation under grant 0910500.  ... 
doi:10.1145/2034773.2034818 dblp:conf/icfp/WeirichYS11 fatcat:cbfij5tnovhbro425dpfshidba

Binders unbound

Stephanie Weirich, Brent A. Yorgey, Tim Sheard
2011 SIGPLAN notices  
We provide a formal semantics for this language derived from a locally nameless representation and prove that it satisfies a number of desirable properties.  ...  Our language is particularly expressive-it supports multiple atom types, pattern binders, type annotations, recursive binders, and nested binding (necessary for telescopes, a feature found in dependently-typed  ...  Thanks are also due to the Penn PLClub for feedback on an early draft of this paper. This material is based upon work supported by the National Science Foundation under grant 0910500.  ... 
doi:10.1145/2034574.2034818 fatcat:n4yx36elsvb2djr5uesok64i6m

Chemical Constituents and Toxic, Repellent, and Oviposition-Deterrent Effects of Ethanol-Extracted Myristica fragrans (Myristicaceae) Oil on Bemisia tabaci (Hemiptera: Aleyrodidae)

Tufail Ahmed Wagan, Wenjun Wang, Hongxia Hua, Wanlun Cai
2017 Florida Entomologist  
However, NIST makes no warranties to that effect; and NIST shall not be liable for any damage that may result from errors or omissions in the Database.  ...  The National Institute of Standards and Technology (NIST) uses its best efforts to deliver a high-quality copy of the Database and to verify that the data contained therein have been selected on the basis  ...  If the name is preceded by an m or and r it means that the replicate is a derivative or isomer of the Hit, with m being a spectrum in the NIST mainlib and r being a spectrum in the NIST replib.  ... 
doi:10.1653/024.100.0317 fatcat:3l22rir72zarfmcumqsvs5oeny

Visitors unchained

François Pottier
2017 Proceedings of the ACM on Programming Languages  
We introduce visitors, a simple type-directed facility for generating visitor classes that have no knowledge of binding.  ...  The last two components can be programmed once and for all and placed in a library. We present one such library, alphaLib [Pottier 2017a], which we are developing.  ...  We expect this class to be automatically generated for the user-defined type term via a [@@deriving visitors { ... }] annotation. • The class map must have a method visit_term.  ... 
doi:10.1145/3110272 dblp:journals/pacmpl/Pottier17 fatcat:tp3jzwuatrd37kothu4fzywyse

Scala for generic programmers

Bruno C.d.S. Oliveira, Jeremy Gibbons
2008 Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08  
Not only does Scala provide equivalents of all the necessary functional programming features (such as parametric polymorphism, higher-order functions, higher-kinded type operations, and type-and constructor-classes  ...  We argue that the functional object-oriented language Scala is in many ways a better choice.  ...  Some of the material from this paper is partly based on the first author's DPhil thesis (Oliveira, 2007, Chapters 2 and 4); particular thanks are due to the DPhil examiners Ralf Hinze and Martin Odersky for  ... 
doi:10.1145/1411318.1411323 dblp:conf/icfp/OliveiraG08 fatcat:zu5cic2mzfhyfpmjcn3msbwwze

Generic programming in 3D

Ralf Hinze, Andres Löh
2009 Science of Computer Programming  
Support for generic programming consists of three essential ingredients: support for overloaded functions, a run-time type representation, and a generic view on data.  ...  The characteristic features of "Scrap your boilerplate" are its two generic views, the 'spine' view for consuming and transforming data, and the 'type-spine' view for producing data.  ...  Andres Löh would like to thank Tarmo Uustalu for pointing him to the question of how to write generic functions that work on GADTs and for several enlightening discussions on the topic.  ... 
doi:10.1016/j.scico.2007.10.006 fatcat:fcs7m5dmwjdn3ih2ps2f4icave

True sums of products

Edsko de Vries, Andres Löh
2014 Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14  
The resulting list-like structure of datatypes allows for the definition of powerful high-level traversal combinators, which in turn encourage the definition of generic functions in a compositional and  ...  We introduce the sum-of-products (SOP) view for datatype-generic programming (in Haskell).  ...  They asked Well-Typed to work on the project that sparked the development and use of the generics-sop library.  ... 
doi:10.1145/2633628.2633634 dblp:conf/icfp/VriesL14 fatcat:w4pajfs7u5earpf52fhzk4fqva

Alloy

Neil C.C. Brown, Adam T. Sampson
2009 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell - Haskell '09  
We describe use cases for a generic system derived from our work on a nanopass compiler, where efficiency is a real concern, and detail a new generics approach (Alloy) that we have developed in Haskell  ...  Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate.  ...  Like Smash and Uniplate, we use Haskell's type-classes to implement Alloy; the library is centred around a type-class of the same name: class Alloy opsQueued opsDescent suspect where transform :: opsQueued  ... 
doi:10.1145/1596638.1596652 dblp:conf/haskell/BrownS09 fatcat:zpwvl4cxcjcffa2jt3kj3a5hn4

Metabolomic Signature Discriminates Normal Human Cornea from Keratoconus—A Pilot GC/MS Study

Anna Wojakowska, Monika Pietrowska, Piotr Widlak, Dariusz Dobrowolski, Edward Wylęgała, Dorota Tarnawska
2020 Molecules  
The molecular etiology of keratoconus (KC), a pathological condition of the human cornea, remains unclear.  ...  The combination of gas chromatography and mass spectrometry (GC/MS) techniques has been applied for profiling and identification of metabolites in corneal buttons from 6 healthy controls and 7 KC patients  ...  The metabolites were automatically identified by library search (Replib, Mainlib, Fiehn library); the analyte was considered as identified when it passed the quality threshold: Similarity index (SI) above  ... 
doi:10.3390/molecules25122933 pmid:32630577 pmcid:PMC7356237 fatcat:zglzsciydbbpjmxi55c36nr4vm

Significant improvements in the characterization of volatile compound profiles in squid using simultaneous distillation-extraction and GC×GC-TOFMS

Yafang Jin, Yun Deng, Jin Yue, Yanyun Zhao, Wenjuan Yu, Zhidong Liu, Hongliang Huang
2015 CyTA - Journal of Food  
This study proposes a methodology and presents data that could be used to determine the volatiles in seafood.  ...  Among 184 volatiles identified by GC×GC-TOFMS, 119 compounds were reported for the first time in squids, compared with the GC-MS data available in the literature.  ...  Acknowledgment Special thanks to SJTU-Instrumental Analysis Center for expert assistance with the GC×GC-TOFMS experiments.  ... 
doi:10.1080/19476337.2014.997798 fatcat:2hmiqvs5f5fsfd7cvndvks5inq

Supercritical CO2 Extraction of Narcissus poeticus L. Flowers for the Isolation of Volatile Fragrance Compounds

Renata Baranauskienė, Petras Rimantas Venskutonis
2022 Molecules  
In general, the results obtained are promising for a wider application of SFE-CO2 for the recovery of fragrance substances from N. poeticus flowers.  ...  So far, as the majority of these substances consist of volatile and sensitive to heat compounds, there is a need of developing effective methods for their recovery.  ...  and Adams mass spectral libraries.  ... 
doi:10.3390/molecules27020353 pmid:35056665 pmcid:PMC8782035 fatcat:3kjbav2du5cqxh4y7tmgfy45zu

ADAP-GC 4.0: Application of Clustering-Assisted Multivariate Curve Resolution to Spectral Deconvolution of Gas Chromatography-Mass Spectrometry Metabolomics Data

Aleksandr Smirnov, Yunping Qiu, Wei Jia, Douglas Walker, Dean P. Jones, Xiuxia Du
2019 Analytical Chemistry  
We report a multivariate curve resolution (MCR)-based spectral deconvolution workflow for untargeted gas chromatography-mass spectrometry metabolomics.  ...  As a result of this computational separation, spectral deconvolution produces pure fragmentation mass spectra. Traditionally, spectral deconvolution has been achieved by using a model peak approach.  ...  However, the fragmentation spectra are matched against NIST MainLib and RepLib EI spectral libraries and the Simple Similarity matching score without the reverse option is used because of a large number  ... 
doi:10.1021/acs.analchem.9b01424 pmid:31274283 pmcid:PMC6705124 fatcat:ssc7ddnn55ecledtdxv6ywenqa

Exploring the Saccharomyces cerevisiae Volatile Metabolome: Indigenous versus Commercial Strains

Zélia Alves, André Melo, Ana Raquel Figueiredo, Manuel A. Coimbra, Ana C. Gomes, Sílvia M. Rocha, Tiffany L. Weir
2015 PLoS ONE  
for the production of wines peculiar flavours.  ...  A total of 257 volatile metabolites were identified, distributed over the chemical families of acetals, acids, alcohols, aldehydes, ketones, terpenic compounds, esters, ethers, furan-type compounds, hydrocarbons  ...  Hydrocarbon-type compounds represent the higher number of components, however the higher content was observed for the alcohol type, such as for the linalool, geraniol and nerolidol.  ... 
doi:10.1371/journal.pone.0143641 pmid:26600152 pmcid:PMC4657929 fatcat:uu35dtpvyzcw7hdv3zqgdbkrwy
« Previous Showing results 1 — 15 out of 32 results