50 papers:
ECOOP-2015-LongLR #morphism #polymorphism- Intensional Effect Polymorphism (YL, YDL, HR), pp. 346–370.
LICS-2015-CastellanCW #game studies #parallel- The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
PODS-2013-Wong #calculus #power of #relational #set- A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.
KEOD-2013-KarolyA #implementation- The Implementation of a ReALIS-based Method of Static Intensional Interpretation (MK, GA), pp. 393–398.
PADL-2013-FourtounisPR #functional #implementation #lazy evaluation- The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
CSL-2013-WangB #decidability #equation #semantics #type system- Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.
ICLP-J-2013-BartholomewL #on the #semantics- On the stable model semantics for intensional functions (MB, JL), pp. 863–876.
- LICS-2013-BirkedalM #fixpoint #recursion #type system
- Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (LB, REM), pp. 213–222.
- KEOD-2012-AliG #concept #named #novel
- Conceptualization — A Novel Intensional-based Model (IA, HG), pp. 257–264.
KR-2012-BartholomewL #modelling- Stable Models of Formulas with Intensional Functions (MB, JL).
- KR-2012-Lifschitz #logic programming #source code
- Logic Programs with Intensional Functions (VL).
SAC-2010-EbraertDMJ #feature model- Intensional changes: modularizing crosscutting features (PE, TD, TM, DJ), pp. 2176–2182.
ICSE-2009-GhezziMM #behaviour #graph transformation #modelling- Synthesizing intensional behavior models by graph transformation (CG, AM, MM), pp. 430–440.
TLCA-2009-Lumsdaine #type system- Weak ω-Categories from Intensional Type Theory (PLL), pp. 172–187.
PPDP-2008-MarionP #complexity #polynomial- Characterizations of polynomial complexity classes with a better intensionality (JYM, RP), pp. 79–88.
POPL-2008-Asperti #theorem- The intensional content of Rice’s theorem (AA), pp. 113–119.
SIGMOD-2007-SrivastavaV #metadata- Intensional associations between data and metadata (DS, YV), pp. 401–412.
GPCE-2006-VieraP #analysis #multi- A multi-stage language with intensional analysis (MV, AP), pp. 11–20.
- ICSE-2006-WillmorE #approach #database #specification #testing
- An intensional approach to the specification of test cases for database applications (DW, SME), pp. 102–111.
ICSM-IT-2005-MensKPW- The Intensional View Environment (KM, AK, FP, RW), pp. 81–84.
- CSL-2005-Lambov #analysis #complexity #framework
- Complexity and Intensionality in a Type-1 Framework for Computable Analysis (BL), pp. 442–461.
HT-2004-PlaiceM #collaboration #hypermedia- Collaborative intensional hypertext (JP, BM), pp. 91–92.
FLOPS-2004-Munoz-HernandezMM- Constructive Intensional Negation (SMH, JM, JJMN), pp. 39–54.
SEKE-2004-LiW #education- An Intensional Tool Applied to French Language Educational Software (H(L, WWW), pp. 62–67.
- SIGMOD-2003-MiloAABN #xml
- Exchanging Intensional XML Data (TM, SA, BA, OB, FDN), pp. 289–300.
- ICLP-2003-DovierPR #set
- Intensional Sets in CLP (AD, EP, GR), pp. 284–299.
ESOP-2002-Weirich #analysis #higher-order- Higher-Order Intensional Type Analysis (SW), pp. 98–114.
CAiSE-2002-PontieriUZ #approach #data flow #integration- An Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats (LP, DU, EZ), pp. 752–756.
RTA-2002-LiangN #representation #trade-off- Tradeoffs in the Intensional Representation of λ Terms (CL, GN), pp. 192–206.
- ESOP-2001-Weirich #analysis #encoding
- Encoding Intensional Type Analysis (SW), pp. 92–106.
- POPL-2001-Sangiorgi #logic
- Extensionality and Intensionality of the Ambient Logics (DS), pp. 4–13.
- LICS-2001-Pfenning #proving #type system
- Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (FP), pp. 221–230.
ICFP-2000-TrifonovSS #analysis #reflexive- Fully reflexive intensional type analysis (VT, BS, ZS), pp. 82–93.
VLDB-1999-KnorrN- Finding Intensional Knowledge of Distance-Based Outliers (EMK, RTN), pp. 211–222.
- LICS-1999-Altenkirch #similarity #type system
- Extensional Equality in Intensional Type Theory (TA), pp. 412–420.
- ICFP-1998-CraryWM #morphism #polymorphism #semantics
- Intensional Polymorphism in Type-Erasure Semantics (KC, SW, JGM), pp. 301–312.
- ICFP-1997-RichardST #set #using
- Intensional Sets Using Explicit Substitutions (GR, FS, ATA), p. 318.
CIKM-1997-YoonSP #data mining #mining #query #using- Intensional Query Processing Using Data Mining Approaches (SCY, IYS, EKP), pp. 201–208.
- PODS-1996-BertinoC #database #static analysis
- Static Analysis of Intensional Databases in U-Datalog (EB, BC), pp. 202–212.
- POPL-1995-BrookesD #algorithm #parallel
- Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (SDB, DD), pp. 13–24.
- POPL-1995-HarperM #analysis #compilation #morphism #polymorphism #using
- Compiling Polymorphism Using Intensional Type Analysis (RH, JGM), pp. 130–141.
- ICLP-1994-BruscoliDPR #compilation #set
- Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
LOPSTR-1992-Giacomo #partial evaluation #query- Intensional Query Answering: An Application of Partial Evaluation (GDG), pp. 132–150.
- ICLP-1991-ChenW #abstraction #logic #multi #set
- An Intensional Logic of (Multi-Arity) Set Abstractions (WC, DSW), pp. 97–110.
- LICS-1991-HungZ #logic #pointer #semantics
- Semantics of Pointers, Referencing and Dereferencing with Intensional Logic (HKH, JIZ), pp. 127–136.
CADE-1990-Tuominen #framework #logic #proving #theorem proving- Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic (HT), pp. 514–527.
- CLP-1990-Bry90 #abduction #deduction
- Intensional Updates: Abduction via Deduction (FB), pp. 561–575.
- VLDB-1989-Motro #constraints #query #relational #using
- Using Integrity Constraints to Provide Intensional Answers to Relational Queries (AM), pp. 237–246.
SIGIR-1988-LaineLV #information management #logic- French Textual Information Systems: The Contribution of Extensional and Intensional Logics (SL, OL, IV), pp. 507–518.
OOPSLA-1988-Beech #concept #database- Intensional Concepts in an Object Database Model (DB), pp. 164–175.
