BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Japan
1 × United Kingdom
3 × USA
Collaborated with:
P.Wadler J.Cheney J.G.Morris C.McBride Simon Fowler 0001 ∅ I.Stark O.Kammar N.Oury R.Atkey J.Yallop C.McLaughlin M.Steuwer C.Fensch C.Dubach G.Radanne R.Rajkumar N.Foster P.Buneman H.Müller N.Benton A.Kennedy C.V.Russo S.Najd J.Svenningsson Sára Decova
Talks about:
type (5) session (4) languag (4) queri (4) data (3) do (3) perform (2) channel (2) specif (2) rewrit (2)

Person: Sam Lindley

DBLP DBLP: Lindley:Sam

Contributed to:

ESOP 20152015
ICFP 20152015
PEPM 20142014
SIGMOD 20142014
BX 20132013
ICFP 20132013
SIGMOD 20112011
ESOP 20102010
TLCA 20072007
TLCA 20052005
IFL 20042004
Haskell 20092009
Haskell 20132013
Haskell 20162016
ECOOP 20172017
PEPM 20162016
POPL 20172017
POPL 20192019

Wrote 19 papers:

ESOP-2015-LindleyM #semantics
A Semantics for Propositions as Sessions (SL, JGM), pp. 560–584.
ICFP-2015-SteuwerFLD #functional #generative #performance #using
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
PEPM-2014-CheneyLRW #effectiveness #query
Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.
SIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational
Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
BX-2013-RajkumarFLC #lens #web
Lenses for Web Data (RR, NF, SL, JC), pp. 90–110.
ICFP-2013-CheneyLW #query
A practical theory of language-integrated query (JC, SL, PW), pp. 403–416.
ICFP-2013-KammarLO
Handlers in action (OK, SL, NO), pp. 145–158.
SIGMOD-2011-BunemanCLM #collaboration #data transformation #named #wiki
DBWiki: a structured wiki for curated data and collaborative data management (PB, JC, SL, HM), pp. 1335–1338.
ESOP-2010-LindleyW #database
The Audacity of Hope: Thoughts on Reclaiming the Database Dream (SL, PW), p. 1.
TLCA-2007-Lindley
Extensional Rewriting with Sums (SL), pp. 255–271.
TLCA-2005-LindleyS
Reducibility and TT-Lifting for Computation Types (SL, IS), pp. 262–277.
IFL-2004-BentonKLR #reduction
Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.
Haskell-2009-AtkeyLY #domain-specific language
Unembedding domain-specific languages (RA, SL, JY), pp. 37–48.
Haskell-2013-LindleyM #haskell #named #programming
Hasochism: the pleasure and pain of dependently typed haskell programming (SL, CM), pp. 81–92.
Haskell-2016-LindleyM #haskell
Embedding session types in Haskell (SL, JGM), pp. 133–145.
ECOOP-2017-FowlerLW
Mixing Metaphors: Actors as Channels and Channels as Actors (SF0, SL, PW), p. 28.
PEPM-2016-NajdLSW #domain-specific language
Everything old is new again: quoted domain-specific languages (SN, SL, JS, PW), pp. 25–36.
POPL-2017-LindleyMM
Do be do be do (SL, CM, CM), pp. 500–514.
POPL-2019-FowlerLMD
Exceptional asynchronous session types: session types without tiers (SF0, SL, JGM, SD), p. 29.
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.