BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
learn (4)
game (3)
educ (2)
contract (2)
engin (2)

Stem adventur$ (all stems)

18 papers:

ICSMEICSM-2013-SiebraMSS #framework
The Adventure of Developing a Software Application on a Pre-release Platform: Features and Learned Lessons (CdS, AM, FQBdS, ALMS), pp. 556–559.
ICFPICFP-2011-HinzeJ #category theory #fixpoint #proving
Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
ITiCSEITiCSE-2010-RodgerBDHLNQ #education #programming
Enhancing K-12 education with alice programming adventures (SHR, MB, LD, JH, LL, DN, HQ), pp. 234–238.
CIKMCIKM-2010-QiYXD #automation #generative #taxonomy
Choosing your own adventure: automatic taxonomy generation to permit many paths (XQ, DY, ZX, BDD), pp. 1853–1856.
Taming the storage dragon: the adventures of hoTMaN (SG, AG, CS, CB, FC, NN, AW, AW), pp. 925–930.
ITiCSEITiCSE-2006-BiancoL #game studies #named
PlayToLearn: a game adventure in the realm of Si Piuh (GMB, IL), p. 331.
Adventures in time and space (ND, JSR), pp. 168–179.
PPDPPPDP-2004-BentonKR #experience
Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.
FMFME-2001-Jones #contract
Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.
ICFPICFP-2000-JonesES #contract #functional
Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
ICFPICFP-1999-Okasaki #matrix #performance
From Fast Exponentiation to Square Matrices: An Adventure in Types (CO), pp. 28–35.
ICLPICLP-1999-Bowen #prolog
Adventures in the Prolog Trade (KAB), p. 22.
WRLAWRLA-1998-Viry #calculus #equation
Adventures in sequent calculus modulo equations (PV), pp. 21–32.
ITiCSEITiCSE-1997-Moser #game studies #learning #what #why
A fantasy adventure game as a learning environment: why learning to program is so difficult and what can be done about it (RM), pp. 114–116.
ITiCSEITiCSE-1996-CarswellB #approach #distance #education #game studies #multi
An adventure game approach to multimedia distance education (LC, DB), pp. 122–124.
CHICHI-1995-CapucciatiCOW #email
Neither Rain, Nor Sleet, Nor Gloom of Night: Adventures in Electronic Mail (MC, PC, KDO, AW), pp. 553–557.
CSEETCSEE-1994-Werth #process
An Adventure in Software Process Improvement (LHW), pp. 191–210.
CADECADE-1988-LincolnC #commutative #summary #unification
Adventures in Associative-Commutative Unification (A Summary) (PL, JC), pp. 358–367.

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.