30 papers:
ESOP-2015-Blanchette0T #data type- Witnessing (Co)datatypes (JCB, AP, DT), pp. 359–382.
ICFP-2015-JaskelioffR #data type #functional- Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.
POPL-2015-SekiyamaNI #contract #data type- Manifest Contracts for Datatypes (TS, YN, AI), pp. 195–207.
CADE-2015-ReynoldsB #data type #smt- A Decision Procedure for (Co)datatypes in SMT Solvers (AR, JCB), pp. 197–213.
CAV-2014-SanchezS #concurrent #data type #named #verification- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.
RTA-TLCA-2014-EscardoS #data type #type system- Abstract Datatypes for Real Numbers in Type Theory (MHE, AS), pp. 208–223.
PPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing- Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
PPoPP-2012-KjolstadHS #automation #data type #generative #optimisation- Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
LICS-2012-TraytelPB #category theory #composition #data type #higher-order #logic #proving #theorem proving- Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.
- ICFP-2011-AhnS #combinator #data type #induction #recursion
- A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
- CAV-2010-ConwayB #data type #implementation #low level #verification
- Verifying Low-Level Implementations of High-Level Datatypes (CLC, CB), pp. 306–320.
IJCAR-2010-MagkaKH #data type #logic- Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
TAP-2010-Blanchette #algebra #analysis #data type #induction #recursion #relational- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.
- ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
- Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
- PPDP-2007-Hamana #data type #higher-order #induction #semantics #type system
- Higher-order semantic labelling for inductive datatype systems (MH), pp. 97–108.
- IJCAR-2006-UrbanB #combinator #data type #higher-order #recursion
- A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (CU, SB), pp. 498–512.
VLDB-2005-HuSCS #data type #using- Supporting RFID-based Item Tracking Applications in Oracle DBMS Using a Bitmap Datatype (YH, SS, TC, JS), pp. 1140–1151.
ESEC-FSE-2005-KuncakJ #algebra #analysis #data type #relational- Relational analysis of algebraic datatypes (VK, DJ), pp. 207–216.
AFP-2004-Pardo04 #data type- Combining Datatypes and Effects (AP), pp. 171–209.
FASE-2003-AttiogbePS #data type #diagrams #integration- Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.
FoSSaCS-2003-AbelMU #data type #higher-order- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.
- POPL-2003-XiCC #data type #recursion
- Guarded recursive datatype constructors (HX, CC, GC), pp. 224–235.
LDTA-2003-KortL #data type #framework- A Framework for Datatype Transformation (JK, RL), pp. 463–482.
TLCA-2003-Konecny #data type #functional- Functional In-Place Update with Layered Datatype Sharing (MK), pp. 195–210.
SAS-2002-Jeannet #abstract interpretation #approximate #data type #representation- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.
- ICFP-2002-MillsteinBC #composition #data type
- Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.
- ICFP-2001-ZengerO #algebra #data type
- Extensible Algebraic Datatypes with Defaults (MZ, MO), pp. 241–252.
- POPL-1996-FegarasS #data type #embedded #morphism #source code
- Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.
- WSA-1993-Benton #algebra #data type #lazy evaluation #strict
- Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.
VDME-1990-Steensgaard-Madsen #data type- Adding Abstract Datatypes to Meta-IV (JSM), pp. 233–243.
