BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
magic (3)
coalgebra (3)
bidirect (3)
delta (3)
use (3)

Stem lens$ (all stems)

34 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.