The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Datatypes with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1990 (15) 1991-1995 (20) 1996-1998 (16) 1999-2000 (24) 2001 (15) 2002-2003 (31) 2004 (23) 2005 (24) 2006 (25) 2007 (19) 2008 (23) 2009 (20) 2010-2011 (18) 2012-2014 (26) 2015-2016 (18) 2017-2018 (20) 2019-2020 (25) 2021-2023 (15) 2024 (1)
Publication types (Num. hits)
article(69) incollection(1) inproceedings(304) phdthesis(4)
Venues (Conferences, Journals, ...)
CoRR(16) ICFP(16) POPL(14) PVM/MPI(12) TPHOLs(11) EuroMPI(10) MPC(9) TYPES(7) LICS(6) Arch. Formal Proofs(5) FoSSaCS(5) IJCAR(5) ACM SIGPLAN Notices(4) CAV(4) Haskell(4) ISWC(4) More (+10 of total 196)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 212 occurrences of 167 keywords

Results
Found 378 publication records. Showing 378 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
103Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutually recursive datatypes, haskell, fixed points, datatype-generic programming
103Thomas Raimbault, David Genest, Stéphane Loiseau Conceptual Graphs and Datatypes. Search on Bibsonomy ICCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
100Éric Renault Extended MPICC to Generate MPI Derived Datatypes from C Datatypes Automatically. Search on Bibsonomy PVM/MPI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MPI, Automatic translation, Datatypes
94Jeremy Gibbons Calculating Functional Programs. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
83Surendra Byna, Xian-He Sun, Rajeev Thakur, William Gropp Automatic Memory Optimizations for Improving MPI Derived Datatype Performance. Search on Bibsonomy PVM/MPI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF derived datatypes, MPI performance optimization, MPI
79Qingda Lu, Jiesheng Wu, Dhabaleswar K. Panda 0001, P. Sadayappan Applying MPI Derived Datatypes to the NAS Benchmarks: A Case Study. Search on Bibsonomy ICPP Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
68Todd D. Millstein, Colin Bleckner, Craig Chambers Modular typechecking for hierarchically extensible datatypes and functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Extensible datatypes, extensible functions, modular typechecking
68Todd D. Millstein, Colin Bleckner, Craig Chambers Modular typechecking for hierarchically extensible datatypes and functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF extensible datatypes, extensible functions, modular typechecking
67Boris Motik, Ian Horrocks 0001 OWL Datatypes: Design and Implementation. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng Typed compilation of recursive datatypes. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF typed compilation, standard ML, recursive types, coercions
67Surendra Byna, William D. Gropp, Xian-He Sun, Rajeev Thakur Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost. Search on Bibsonomy CLUSTER The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Matthias Zenger, Martin Odersky Extensible Algebraic Datatypes with Defaults. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
67Richard S. Bird, Ross Paterson Generalised folds for nested datatypes. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Functional programming, Program construction
67Nick Chapman, Simon Finn, Michael P. Fourman Datatypes in L2. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
64Eric Renault, Christian Parrot MPI Pre-Processor: Generating MPI Derived Datatypes from C Datatypes Automatically. Search on Bibsonomy ICPP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59William Gropp Runtime Checking of Datatype Signatures in MPI. Search on Bibsonomy PVM/MPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
56Viktor Kuncak, Daniel Jackson 0001 Relational analysis of algebraic datatypes. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF algebraic datatypes, model finding, transitive closure logic, model checking, constraint solving
56Jeff Z. Pan, Ian Horrocks 0001 OWL-Eu: Adding Customised Datatypes into OWL. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56J. Christian Attiogbé, Pascal Poizat, Gwen Salaün Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56J. Christian Attiogbé, Pascal Poizat, Gwen Salaün Integration of Formal Datatypes within State Diagrams. Search on Bibsonomy FASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods integration, Z, algebraic specifications, B, state diagrams
56Edgar Gabriel, Michael M. Resch, Roland Rühle Implementing and Benchmarking Derived Datatypes in Metacomputing. Search on Bibsonomy HPCN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
56Richard S. Bird, Lambert G. L. T. Meertens Nested Datatypes. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Carsten Kleiner, Udo W. Lipeck Performance of Querying Temporal Attributes in Object-Relational Databases. Search on Bibsonomy TIME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ORDBS, temporal datatypes, attribute time-stamping, user-defined index structures, physical design
47Bruno C. d. S. Oliveira Modular Visitor Components. Search on Bibsonomy ECOOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Srinivasan Balakrishnan, Soumitra Kumar Nandy Arbitrary Precision Arithmetic - SIMD Style. Search on Bibsonomy VLSI Design The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Packed Addition, Arbitrary Precision, SIMD, Integer Arithmetic
44Faisal Ghias Mir, Jesper Larsson Träff Constructing MPI Input-output Datatypes for Efficient Transpacking. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Ralph Matthes Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Ralph Matthes Recursion on Nested Datatypes in Dependent Type Theory. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44David Aspinall 0001, Piotr Hoffman Datatypes in Memory. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Andreas Abel 0001, Ralph Matthes (Co-)Iteration for Higher-Order Nested Datatypes. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Ralf H. Reussner, Jesper Larsson Träff, Gunnar Hunzelmann A Benchmark for MPI Derived Datatypes. Search on Bibsonomy PVM/MPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Jesper Larsson Träff, Rolf Hempel, Hubert Ritzdorf, Falk Zimmermann Flattening on the Fly: Efficient Handling of MPI Derived Datatypes. Search on Bibsonomy PVM/MPI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Hubert Baumeister Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
41Eric Renault, Christian Parrot Automatic Generation of MPI Derived Datatypes from C Datatypes with MPIPP. Search on Bibsonomy PDCS The full citation details ... 2006 DBLP  BibTeX  RDF
41Hubert Baumeister Relations between abstract datatypes modeled as abstract datatypes. Search on Bibsonomy 1998   RDF
35Brian Huffman A Purely Definitional Universal Domain. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Ralph Matthes A Datastructure for Iterated Powers. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Ralf Hinze A New Approach to Generic Functional Programming. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur Processing MPI Datatypes Outside MPI. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Noboru Tanabe, Hironori Nakajo Introduction to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Jeremy Gibbons Unfolding Abstract Datatypes. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Carlos D. Barranco, Jesús R. Campaña, Juan Miguel Medina 0001, Olga Pons On Storing Ontologies Including Fuzzy Datatypes in Relational Databases. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Antonio Blanco, J. E. Freire, José Luis Freire Using Coq to Understand Nested Datatypes. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Giancarlo Guizzardi, Claudio Masolo, Stefano Borgo In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes. Search on Bibsonomy ER The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Christian Urban, Stefan Berghofer A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lambda-calculus, proof assistants, nominal logic, primitive recursion
32Clare E. Martin, Jeremy Gibbons, Ian Bayley Disciplined, efficient, generalised folds for nested datatypes. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold
32Alberto Pardo Combining Datatypes and Effects. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Roland Carl Backhouse, Paul F. Hoogendijk Generic Properties of Datatypes. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Bertrand Jeannet Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Roger Hillson, Michal Iglewski C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes. Search on Bibsonomy PARELEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Bruno C. d. S. Oliveira, Meng Wang 0002, Jeremy Gibbons The visitor pattern as a reusable, generic, type-safe component. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algebraic datatypes, program extensibility, design patterns, software components, traversal, visitor pattern
24Thomas Arts, Laura M. Castro, John Hughes 0001 Testing Erlang data types with quviq quickcheck. Search on Bibsonomy Erlang Workshop The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quickcheck, erlang, datatypes
24Ki Yung Ahn, Tim Sheard Shared subtypes: subtyping recursive parametrized algebraic data types. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
24Guilan Dai, Jinlan Tian, Suqing Zhang, Weidu Jiang An abstract intermediate representation in compilation systems. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF algebraic datatypes, compiler infrastructures, object-orientation, intermediate representations
24Anton Faradjian, Johannes Gehrke, Philippe Bonnet GADT: A Probability Space ADT for Representing and Querying the Physical World. Search on Bibsonomy ICDE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF measurement data, gaussian data, probabilistic ADT's, object-relational datatypes, Data models, access methods, measure theory, sensor databases, probabilistic data
23Sion Ll Rhys, Simon M. Poulding, John A. Clark Using automated search to generate test data for matlab. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF genetic algorithms, matlab, search-based software engineering
23Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren A lightweight approach to datatype-generic rewriting. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF term rewriting, datatype-generic programming
23Jean-François Baget A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules. Search on Bibsonomy ICCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Lutz Schröder Bootstrapping Types and Cotypes in HasCASL. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Koji Kagawa Polymorphic variants in Haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphic variants, Haskell, extensibility, type classes
23Julien Langou, George Bosilca, Graham E. Fagg, Jack J. Dongarra Hash Functions for Datatype Signatures in MPI. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Andrew Kennedy, Claudio V. Russo Generalized algebraic data types and object-oriented programming. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraints, generics, generalized algebraic data types
23Geoffrey Washburn, Stephanie Weirich Generalizing Parametricity Using Information-flow. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23James Cheney Scrap your nameplate: (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generic programming, binding, names, substitution
23Alex Tsow, Steven D. Johnson Data Refinement for Synchronous System Specification and Construction. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Ulf Norell, Patrik Jansson Prototyping Generic Programming in Template Haskell. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride Constructing Polymorphic Programs with Quotient Types. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Markus Forsberg, Aarne Ranta Functional morphology. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF finite functions, morphological description, functional programming, linguistics, embedded languages
23Jeff Z. Pan, Ian Horrocks 0001 Web Ontology Reasoning with Datatype Groups. Search on Bibsonomy ISWC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay FreshML: programming with binders made simple. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF alpha-conversion, metaprogramming, variable binding
23Hongwei Xi, Robert Harper 0001 A Dependently Typed Assembly Language. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Mario Coppo, Daniel Hirschkoff Incremental Inference of Partial Types. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Holger Pfeifer, Harald Rueß Polytypic Proof Construction. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Gilles Barthe, Maria João Frade Constructor Subtyping. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Abdelwaheb Ayari, David A. Basin, Andreas Podelski LISA: A Specification Language Based on WS2S. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Arjan Loeffen Text Databases: A Survey of Text Models and Systems. Search on Bibsonomy SIGMOD Rec. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann KEIM: A Toolkit for Automated Deduction. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Hubert Baumeister Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
23Val Tannen, Ramesh Subrahmanyam Logical and Computational Aspects of Programming with Sets/Bags/Lists. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
23H. R. Walters Hybrid Implementations of Algebraic Specifications. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Charles Wells, Michael Barr The Formal Description of Data Types Using Sketches. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
20Amar Shah, Federico Mora, Sanjit A. Seshia An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Zi Hao Liu, Oufan Zhang, João M. C. Teixeira, Jie Li, Teresa Head-Gordon, Julie D. Forman-Kay SPyCi-PDB: A modular command-line interface for back-calculating experimental datatypes of protein structures. Search on Bibsonomy J. Open Source Softw. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Amar Shah, Federico Mora, Sanjit A. Seshia An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Pezhman Nasirifard, Ruben Mayer, Hans-Arno Jacobsen FabricCRDT: A Conflict-Free Replicated Datatypes Approach to Permissioned Blockchains. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Nicholas H. Bacon, Patrick G. Bridges, Scott Levy, Kurt B. Ferreira, Amanda Bienz Evaluating the Viability of LogGP for Modeling MPI Performance with Non-contiguous Datatypes on Modern Architectures. Search on Bibsonomy EuroMPI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jesper Larsson Träff, Ioannis Vardas Library Development with MPI: Attributes, Request Objects, Group Communicator Creation, Local Reductions, and Datatypes. Search on Bibsonomy EuroMPI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Lucas Escot, Jesper Cockx Practical generic programming over a universe of native datatypes. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Mathieu Montin, Amélie Ledein, Catherine Dubois LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. Search on Bibsonomy MSFP@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett Polite Combination of Algebraic Datatypes. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Istvan David, Eugene Syriani, Constantin Masson Extensible Conflict-Free Replicated Datatypes for Real-time Collaborative Software Engineering. Search on Bibsonomy FedCSIS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Jan Martin Keil, Merle Gänßinger The Problem with XSD Binary Floating Point Datatypes in RDF. Search on Bibsonomy ESWC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Benjamin Sherman, Jesse Michel, Michael Carbin ₛ: computable semantics for differentiable programming with higher-order functions and datatypes. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Carl Pearson, Kun Wu, I-Hsin Chung, Jinjun Xiong, Wen-Mei Hwu TEMPI: An Interposed MPI Library with a Canonical Representation of CUDA-aware Datatypes. Search on Bibsonomy HPDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett Politeness for the Theory of Algebraic Datatypes (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Ziynet Nesibe Kesimoglu, Serdar Bozdag SUPREME: a cancer subtype prediction methodology integrating multiple biological datatypes using graph convolutional neural networks. Search on Bibsonomy BCB The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Fabian Zaiser, Luke Ong Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
20Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira Kind inference for datatypes. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg Partial type constructors: or, making ad hoc datatypes less ad hoc. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 378 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license