Last update: Fri Jan 5 02:08:04 MST 2018
@Article{Wadler:2000:NLO, author = "Philip Wadler", title = "New Languages, Old Logic", journal = j-DDJ, volume = "25", number = "12 (supplement)", pages = "37--41", month = dec, year = "2000", CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Wed Nov 08 18:09:45 2000", bibsource = "http://www.math.utah.edu/pub/tex/bib/dr-dobbs-2000.bib", acknowledgement = ack-nhfb, journal-URL = "http://www.ddj.com/", }