Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Type checking records and variants in a natural extension of ML
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A functional theory of exceptions
Science of Computer Programming
Interoperability of multiple autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Logical and computational aspects of programming with sets/bags/lists
Proceedings of the 18th international colloquium on Automata, languages and programming
Information retrieval: data structures and algorithms
Information retrieval: data structures and algorithms
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
An introduction to Remy's fast polymorphic record projection
ACM SIGMOD Record
Transforming databases with recursive data structures
Transforming databases with recursive data structures
COBRA fundamentals and programming
COBRA fundamentals and programming
Bounded fixpoints for complex objects
Theoretical Computer Science
Query languages for bags and aggregate functions
Journal of Computer and System Sciences - Special issue on principles of database systems
ACM SIGPLAN Notices
A protein patent query system powered by Kleisli
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A graphical interface to genome multidatabases
Journal of Database Management
A relational model of data for large shared data banks
Communications of the ACM
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
On Two Forms of Structural Recursion
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Local Properties of Query Languages
ICDT '97 Proceedings of the 6th International Conference on Database Theory
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
Heterogeneous Query Optimization Using Maximal Sub-Queries
Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA)
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Querying nested collections
A critique of the SQL database language
ACM SIGMOD Record
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
BlOMIND-protein property prediction by property proximity profiles
Proceedings of the 2002 ACM symposium on Applied computing
Improving Federated Database Queries Using Declarative Rewrite Rules for Quantified Subqueries
Journal of Intelligent Information Systems
Bioinformatics Adventures in Database Research
ICDT '03 Proceedings of the 9th International Conference on Database Theory
From informatics to bioinformatics
APBC '03 Proceedings of the First Asia-Pacific bioinformatics conference on Bioinformatics 2003 - Volume 19
InfoGrid: providing information integration for knowledge discovery
Information Sciences—Informatics and Computer Science: An International Journal - special issue: Knowledge discovery from distributed information sources
GeneWays: a system for extracting, analyzing, visualizing, and integrating molecular pathway data
Journal of Biomedical Informatics
K2/Kleisli and GUS: experiments in integrated access to genomic data sources
IBM Systems Journal - Deep computing for the life sciences
Natural language interpretations for heterogeneous database access
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
The Design of Discovery Net: Towards Open Grid Services for Knowledge Discovery
International Journal of High Performance Computing Applications
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
XML query optimization in the presence of side effects
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Interprocedural query extraction for transparent persistence
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Cross-tier, label-based security enforcement for web applications
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
A better semantics for XQuery with side-effects
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Certain answers for XML queries
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Bringing back monad comprehensions
Proceedings of the 4th ACM symposium on Haskell
Making standard ML a practical database programming language
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Haskell boards the ferry: database-supported program execution for Haskell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Higher-Order and Symbolic Computation
Row-based effect types for database integration
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Conceptual modeling of genetic studies and pharmacogenetics
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Learning layouts of biological datasets semi-automatically
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
JReq: database queries in imperative languages
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
A data flow language for hybrid query and programming languages
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Optimizing database-backed applications with query synthesis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Effective quotation: relating approaches to language-integrated query
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |
Kleisli is a modern data integration system that has made a significant impact on bioinformatics data integration. This paper contains a brief introduction to the Kleisli system and an example to illustrate its uses in the bioinformatics arena. The primary query language provided by Kleisli is called CPL, which is a functional query language whose surface syntax is based on the comprehension syntax. Kleisli is itself implemented using the functional language SML. So this paper also describes the influence of functional programming research that benefits the Kleisli system, especially the less obvious ones at the implementation level.Availability. Kleisli has been commercialized under the name “KRIS”. It is available from Kris Technology Inc., 713 Santa Cruz Ave, #2, Menlo Park, CA 94025, USA. Direct email to info@kris-inc.com and web browser to http://www.kris-inc.com.