34 papers:
VLDB-2015-YangMFLK #approach #lens #named #on-demand- Lenses: An On-Demand Approach to ETL (YY, NM, RF, ZHL, OK), pp. 1578–1589.
ICFP-2015-MatsudaW #bidirectional #lens #programming- Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
CHI-2015-LiangSCCCYCC #interactive #lens #named- WonderLens: Optical Lenses and Mirrors for Tangible Interactions on Printed Paper (RHL, CS, YCC, GTC, LWC, DNY, MYC, BYC), pp. 1281–1284.
BX-2015-JohnsonR #lens- Spans of Delta Lenses (MJ, RR), pp. 1–15.
IFL-2014-DomoszlaiLP14a #bidirectional #lens #parametricity- Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.
- BX-2014-JohnsonR #lens
- Spans of lenses (MJ, RDR), pp. 112–118.
- BX-2013-JohnsonR #lens
- Delta Lenses and Opfibrations (MJ, RDR), pp. 129–146.
- BX-2013-MacedoPCO #lens
- Composing Least-change Lenses (NM, HP, AC, JNO), pp. 57–75.
- BX-2013-RajkumarFLC #lens #web
- Lenses for Web Data (RR, NF, SL, JC), pp. 90–110.
DocEng-2012-PeroniSV #documentation #lens #semantics #using- Faceted documents: describing document characteristics using semantic lenses (SP, DS, FV), pp. 191–194.
- BX-2012-GibbonsJ #algebra #lens
- Relating Algebraic and Coalgebraic Descriptions of Lenses (JG, MJ), pp. 5–20.
- BX-2012-PachecoCH #induction #lens
- Delta Lenses over Inductive Types (HP, AC, ZH), pp. 21–37.
POPL-2012-HofmannPW #lens- Edit lenses (MH, BCP, DW), pp. 495–508.
CASE-2011-MartinezOGG #adaptation #automation #fault #lens- An adaptable vision system for the automatic inspection of surface defects in automotive headlamp lenses (SSM, JGO, ASG, JGG), pp. 157–162.
PEPM-2011-PachecoC #bidirectional #lens #optimisation- Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
- CHI-2011-RohsOS #interactive #lens #validation
- Interaction with magic lenses: real-world validation of a Fitts’ Law model (MR, AO, TS), pp. 2725–2728.
ICEIS-J-2011-PereiraB11a #analysis #evaluation #lens #social- Seeing Social Software Analysis and Evaluation through the Lenses of Culture (RP, MCCB), pp. 374–387.
- BX-2011-Gibbons1 #algebra #lens #monad
- Lenses are Coalgebras for the Costate Comonad (JG), p. 56.
- BX-2011-Gibbons2 #algebra #lens
- Lenses, Coalgebraically (JG), p. 57.
- BX-2011-Hofmann #lens #symmetry
- Symmetric lenses (MH), p. 60.
- POPL-2011-HofmannPW #lens #symmetry
- Symmetric lenses (MH, BCP, DW), pp. 371–384.
- ICFP-2010-BarbosaCFGP #lens
- Matching lenses: alignment and view update (DMJB, JC, NF, MG, BCP), pp. 193–204.
- CHI-2010-AppertCP #lens
- High-precision magnification lenses (CA, OC, EP), pp. 273–282.
- ICFP-2008-FosterPP #lens
- Quotient lenses (JNF, AP, BCP), pp. 383–396.
- CHI-2008-PietrigaA #lens
- Sigma lenses: focus-context transitions combining space, time and translucence (EP, CA), pp. 1343–1352.
- CHI-2008-RohsO #lens
- Target acquisition with camera phones when used as magic lenses (MR, AO), pp. 1409–1418.
- BX-2008-Foster1 #lens
- Quotient Lenses (NF), p. 31.
- POPL-2008-BohannonFPPS #lens #named #string
- Boomerang: resourceful lenses for string data (AB, JNF, BCP, AP, AS), pp. 407–419.
- CHI-2007-RamosCBB #lens
- Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.
PODS-2006-BohannonPV #lens #relational- Relational lenses: a language for updatable views (AB, BCP, JAV), pp. 338–347.
ICPR-v1-2004-KannalaB #lens- A Generic Camera Calibration Method for Fish-Eye Lenses (JK, SSB), pp. 10–13.
IWPC-1999-CainM #c++ #lens #using #visualisation- Program Visualisation using C++ Lenses (JWC, RJM), pp. 20–26.
- CHI-1998-Fox #lens
- Composing Magic Lenses (DF), pp. 519–525.
FPCA-1991-MeijerFP #functional #lens #programming- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.
