18 papers:
ICSM-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.
ICFP-2011-HinzeJ #category theory #fixpoint #proving- Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
ITiCSE-2010-RodgerBDHLNQ #education #programming- Enhancing K-12 education with alice programming adventures (SHR, MB, LD, JH, LL, DN, HQ), pp. 234–238.
CIKM-2010-QiYXD #automation #generative #taxonomy- Choosing your own adventure: automatic taxonomy generation to permit many paths (XQ, DY, ZX, BDD), pp. 1853–1856.
SIGMOD-2009-GhandeharizadehGSBCNWW- Taming the storage dragon: the adventures of hoTMaN (SG, AG, CS, CB, FC, NN, AW, AW), pp. 925–930.
- ITiCSE-2006-BiancoL #game studies #named
- PlayToLearn: a game adventure in the realm of Si Piuh (GMB, IL), p. 331.
POPL-2006-DannerR- Adventures in time and space (ND, JSR), pp. 168–179.
PPDP-2004-BentonKR #experience- Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.
FME-2001-Jones #contract- Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.
- ICFP-2000-JonesES #contract #functional
- Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.
- ICFP-1999-Okasaki #matrix #performance
- From Fast Exponentiation to Square Matrices: An Adventure in Types (CO), pp. 28–35.
ICLP-1999-Bowen #prolog- Adventures in the Prolog Trade (KAB), p. 22.
WRLA-1998-Viry #calculus #equation- Adventures in sequent calculus modulo equations (PV), pp. 21–32.
- ITiCSE-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.
- ITiCSE-1996-CarswellB #approach #distance #education #game studies #multi
- An adventure game approach to multimedia distance education (LC, DB), pp. 122–124.
CHI-1995-CapucciatiCOW #email- Neither Rain, Nor Sleet, Nor Gloom of Night: Adventures in Electronic Mail (MC, PC, KDO, AW), pp. 553–557.
CSEE-1994-Werth #process- An Adventure in Software Process Improvement (LHW), pp. 191–210.
CADE-1988-LincolnC #commutative #summary #unification- Adventures in Associative-Commutative Unification (A Summary) (PL, JC), pp. 358–367.
