BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Denmark
1 × Turkey
1 × USA
Collaborated with:
G.Morrisett J.Johnson R.Leshchinskiy S.L.P.Jones M.Welsh G.M.Bierman C.V.Russo E.Meijer M.Torgersen G.Stewart M.Gowda B.Radunovic D.Vytiniotis C.L.Agullo
Talks about:
haskel (4) function (2) program (2) compil (2) metaprogram (1) transform (1) quasiquot (1) heterogen (1) asynchron (1) wireless (1)

Person: Geoffrey Mainland

DBLP DBLP: Mainland:Geoffrey

Facilitated 1 volumes:

Haskell 2016Ed

Contributed to:

ASPLOS 20152015
ICFP 20132013
ECOOP 20122012
ICFP 20122012
ICFP 20082008
GPCE 20172017
Haskell 20072007
Haskell 20102010

Wrote 8 papers:

ASPLOS-2015-StewartGMRVA #domain-specific language #named #programming
Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
Exploiting vector instructions with generalized stream fusio (GM, RL, SLPJ), pp. 37–48.
ECOOP-2012-BiermanRMMT #c# #formal method #game studies
Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
ICFP-2012-Mainland #haskell #metaprogramming
Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.
ICFP-2008-MainlandMW #functional #named #network #programming #staged
Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.
GPCE-2017-MainlandJ #compilation #haskell
A Haskell compiler for signal transforms (GM, JJ), pp. 219–232.
Haskell-2007-Mainland #haskell #why
Why it's nice to be quoted: quasiquoting for haskell (GM), pp. 73–82.
Haskell-2010-MainlandM #gpu #haskell #named
Nikola: embedding compiled GPU functions in Haskell (GM, GM), pp. 67–78.

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.