AA AAAA AAACC AAAD AAB AAC AACC AAD AAE AAF AAFAD AAU AB ABAC ABBC ABBDD ABBF ABCDF ABCEDDFBD ABD ABDC ABDD ABF ABFC ABFCEEFD ABP ACA ACAE ACB ACBA ACBF ACC ACCC ACCF ACD ACDCB ACDD ACF ACFEB ACS ADAC ADAE ADAFE ADB ADBCF ADC ADCA ADDB ADDFD ADE ADF ADFDDE ADI ADL ADT AE AEA AEAC AEB AEC AECDE AECE AEDAD AEDB AEDEADC AEEC AEFC AEFFCC AEL AF AFA AFAB AFAD AFAE AFB AFBB AFBE AFC AFCF AFD AFDF AFE AFEBD AFEC AFF AFFCF AFL AFP AHL AIV ALN ANF APA APD API APRESS ASG AU AUC AVF AW Aarne Aart Abadi Abidine Abrial Acar Accattoli Achten Addis Adelsberger Adriana Advait Aehlig Affeldt Agda Agha Aharoni Ahmed Akimasa Alejandro Aleksandar Aleksey Ales Alessandra Alexandre Alexey Alfons Algehed Allais Alt Altenkirch Alwyn Amadio Amal Amanda Amani Amin Amir Amnon Amorim Amr Amtoft Analyses Ancona Anders Andreas Andres Andrey Andrzej Angiuli Anil Anindya Annabelle Annenkov Antal Antoni Antoy Apostolos Appel Apress Aransay Arbiser Ariel Ariola Armin Arndal Arvind Arya Asai Asperti Aspinall Asumu Atkey Atsushi Augustsson AutoBayes Automata Azevedo B BA BAA BAAEF BAB BABC BAC BACCBC BADDA BAE BAEAC BAECC BAEE BAF BAFFFB BB BBA BBB BBBD BBBE BBC BBCB BBCF BBD BBDBBF BBDC BBDF BBE BBECAB BBED BBEDB BBEEA BBF BBFBB BBFBCEE BBFE BC BCA BCAD BCAF BCB BCBA BCC BCCAAEDE BCEF BCF BCFA BCFCB BCR BCT BD BDA BDAB BDAF BDB BDBDF BDBED BDC BDD BDDDE BDE BDEB BDEE BDF BDFC BEA BEB BEC BEDEC BEEE BEF BEFA BF BFA BFABF BFAC BFB BFBED BFBF BFC BFCF BFD BFDA BFE BFF BFFACE BFFCB BFFCE BFFEB BFFEDBB BGB BHP BIF BIO BLI BLT BMT BNN BOE BOH BPS BRB BRC BRD BRE BRF BRG BRH BRI BRK BRL BRM BRO BRP BRR BRS BRT BRV BRW BSC BSN BT BVB BWA BWB Ba Baader Baars Backhouse Bahr Bailes Bakhshi BanadosSchwerter Banerjee Barak Baraki Baral Barbanera Barendregt Barendsen Barreiro Barron Barski Barthe Bas Basingstoke Bastiaan Batcher Baumann Beemster Benaissa Bendkowski Beniamino Benzinger Berardi Berger Bergstrom Bernardy Bernd Berthold Besson Betarte Bezem Bhamidipati Bharat Bhargav Bhargavan Bhaskar Bice Biddle Bierman Biernacki Birkedal Bizjak Bj Bjorner Blanqui Blelloch Blume Bo Boca Bodo Bogumil Boiten Bondorf Bonelli Bonfante Bookreview Borghouts Borgstr Borgstrom Bosworth Botsch Botta Boudol Boulton Bourdoncle Boyer Brachth Brachthauser Brede Breitner Briaud Brigitte Bringert Bristow Broda Brodal Brouwer Broy Bruijn Brumfitt Bryn Bucalo Buday BuildingWebApplicationswithErlangWork Bulterman Bundy Burgard Byeong C CAA CAAAF CAAB CABB CAC CADA CADB CADC CADF CAE CAF CAML CBA CBAF CBB CBBBE CBBE CBC CBCA CBCCE CBCD CBD CBDEC CBE CBEE CBEECBA CBF CBFA CBFB CBFC CBL CBO CBT CC CCA CCAC CCB CCC CCD CCE CCEC CCED CCEF CCF CCFC CCFDFD CCFFAFB CCFFE CCP CCR CCS CCT CD CDA CDAD CDB CDBAA CDBD CDBDD CDBEC CDCCD CDCE CDD CDDD CDDF CDE CDEFA CDF CDL CDP CDV CE CEA CEB CEBB CEBC CEC CECC CECCE CECF CECFD CED CEDBB CEDF CEDFCFBC CEE CEF CEI CEL CEM CEO CES CFA CFB CFBB CFC CFD CFDA CFDAA CFDBED CFDF CFE CFEEB CFF CFFFDA CGC CGI CGL CGN CGT CHD CIC CIH CIN CLA CLC CLD CLF CLP CLS CLT CMB CMC CML CMM CMS CMU CN CNE CNL COCHIS CODEN CP CPE CPG CPJ CPL CPM CPP CPR CPS CRC CS CSA CSC CSE CSF CSM CSR CSS CTB CTC CTE CTF CTI CTL CTM CTS CU CUF CUFP CUG CWR CYJ CakeML Calcagno Caml Campora Caporaso Capretta Cardelli Carette Carsten Catalin Cebri Cebrian Cedergren Cesarini Cezar Chailloux Chakravarty Chan Charanjit Chargu Chari Cheng Chiang Chieh Chieri Chirimar Chitil Chiyan Chlipala Choi Christoph Christophe Christos Chrzaszcz Chuang Chung Cichon Cimini Clack Claessen Clayman Clem Clemens Clements Clerc Clinger Cockx Codish Colazzo Colin Combinators Compagnoni Composable Conal Connor Conor Consel Cooperstein Coq Coquand Cordy Cormac Cosmo Costa Courant Cousineau Covino Crary Cristiano Crolard Culpepper Curien D DA DAAD DACFA DADE DADF DAE DAF DAFB DB DBA DBAAD DBB DBC DBD DBDB DBED DCA DCAAF DCAF DCB DCBA DCBB DCBC DCC DCCEBC DCCF DCCFE DCD DCE DCF DCFA DCL DCM DCR DD DDA DDAAFCADFAD DDAD DDB DDBBD DDBC DDC DDCD DDD DDDE DDE DDF DDFE DDS DEA DEAEF DEB DEBA DEBEA DECD DECDEC DECEE DED DEDBD DEEA DEEC DEF DEFF DF DFA DFB DFBBBCDA DFBFF DFC DFCCE DFCDC DFD DFDF DFE DFEDAC DFEEEAF DFF DFP DFS DGF DHP DLA DM DMA DOI DP DPE DPT DRM DRN DSF DSL DSM DT DTA DTC DTE DTI DTP DVS DWN DWS Dagand Dal DalZilio Damas Damian Damiani Danil Danner Danvy Darais Daria Dario Dariusz Daron Dashti Davide De DeHoon DeJong DeLaEncina DeMaio Debasish Deepak Degli Deian Dendorfer Der Despeyroux Devriese Di DiCosmo DiPierro Diagramm Dieterle Dietmar Diller Dimitri Dimitrios Dimock Dinh Dino Diomidis Dipanwita Divas Djang Dmitriy Doaitse Doets Dolstra Donham Donnell Donnelly Doo Downen DrScheme Dragan Dreyer Dror Duba Duggan Dunfield Duponcheel Dureg Dusan Dybjen Dybjer Dybvig Dyckhoff Dyvbig E EA EAA EAACC EAAE EAB EABCF EABDB EABE EAC EACD EACE EAD EAE EAEDEA EAF EAFD EAS EB EBA EBBA EBBE EBBFE EBC EBCA EBCE EBD EBE EBECD EBEED EBF EBFCC EBH EC ECA ECB ECBDFB ECC ECD ECDC ECDDA ECDEFB ECE ECEA ECED ECEDA ECF ECFC ECN ECP ECS EDA EDAB EDBEC EDC EDCB EDD EDE EDF EDFE EE EEA EEAC EEB EEBBB EEBBC EEC EECB EED EEE EEECC EEF EEFC EEP EES EF EFA EFACB EFAEBBE EFB EFBB EFBFF EFC EFCE EFCEEC EFD EFDCCB EFF EFL EFP EGA EHG EHO EI EIL EIP EIU ELE EMB EMP ENS EO EPB EPC EPH EPI EPL EPN EPP ERC ERF ERLANG ES ESB ESC ESD ESI ESP ESR EZE Ea Eastlund Eb EditorArrow Edmonds Edsger Edsko Eduardo Eekelen Eelco Eerke Effekt Eijck Eijiro Eisenberg El Elsa Elsman Emanuele Emden Emoto Encina Endrullis Enno Entwicklung Erick Eriksen Erlang Ernoult Errataum Erwig Esqueleto Etienne Evariste Exequiel F FA FAAA FAAEAE FAAF FAB FAC FACCD FACDE FACFDA FADA FADCA FAE FAEB FAEBEDCE FAF FAFC FAFE FAP FAS FAX FB FBA FBAFE FBB FBBB FBBBF FBBC FBC FBCAAE FBCB FBCF FBD FBDCDB FBE FBEBA FBF FBFB FBFD FBR FC FCA FCBBB FCBD FCBEF FCCD FCD FCDB FCE FCEE FCF FCFA FCFEA FCP FD FDB FDBAA FDC FDCDB FDD FDDD FDDEDC FDE FDEB FDEC FDEEF FDF FDI FDP FDT FEA FEADD FEBAD FEBC FEBE FEBF FEC FECA FECD FECE FEDC FEDE FEF FEFD FF FFA FFB FFBB FFBD FFC FFCC FFCCA FFD FFE FFF FFO FFS FGC FHO FIC FIM FIS FLB FLR FOF FOU FP FPB FPCA FPD FPE FPF FPG FPI FPJ FPL FPM FPP FPR FPS FPT FPU FRA FRECORDS FRK FRP FRS FSA FT FTF FTM FTO FTP FTS FU FUL FUNCT Factorisations Factorising Fairouz Favonia Fax Faxen Fcode Feeley Fegaras Feitelson Felipe Felleisen Feltey Felty Feng Fernandez Ferreira Ferruccio Fethi Fetscher Filinski Filip Filli Filliatre Findler Finne Firth Fischbach Fisler Flatt Flemming Flibrary Florian Florido Fluet Fnumber Fokkinga Formalisation FormatType Fourman Fournet Fr Fractal Fradet Francesco Frankau Franklyn Fregel Freire Freyd Fri Fridlender Friedmann Frisby Fritzson Ftype Fu Funct Functionele Functorial Funktionale Funser Furio G GAC GADTs GCD GCR GF GFP GGT GME GPC GPG GPP GPUs GS GSE GTD GTE GTL GTS GTT GUD GUI GVH Ga Gaboardi Gabriele Gadde Gallesio Gammie Gansner Gapeyev Garc Gareth Garg Garnock Garrigue Garsia Gartner Gebreselassie Gencel Generalising Generics Georg Georgios Geraint Gergely Gerrit Gerth Gerwin Geser Geuvers Ghani Ghelli Ghilezan Ghosh Ghostbuster Giannini Giegerich Giesl Gilles Gilray Giorgio Giovannetti Girard Gl Glaser Glew Gluck Glynn Godel Gomard Gonthier Goodloe Gorlatch Gotsman Gottfried Graeme Greenberg Greenman Greiner Grelck Grenier Greve Grieskamp Grigore Groningen Grossman Grue Grundy Grust Grygiel Gudula Guerrini Guillaume Gul Gulias Gunter Gustafsson Gustavo H HB HBR HDC HFF HHL HLB HM HMA HMN HMS HOF HOL HOLCF HON HOO HOS HPF HPL HPT HRL HSE HSI HT HTA HTML HTT HTTP HUnit HXT Habouzit Hackett Haftmann Hage Hai Hains Hallenberg Haller Hammes Hankin Hannan Hanne Hanus Hany Hardcover Haridi Hartel Haruo Hasegawa Haskell Haskells Haskore Hasuo Hatcliff Hausman Hayo Heckmann Hedberg Heeren Hehner Hendriks Henglein Henk Hennessy Henrik Herbelin Herkimer Herrmann Heunen Hideya Hillerstr Hillerstrom Hindley Hinze Hirai Hirschkoff Hoare Hochstadt Hoeven Hoffmann Hofmann Holdermans Homotopical Hongseok Hongwei Honour Honsell Hoogendijk Hoogerwoord Hoon Horiguchi Hornof Horstmeyer Hosaya Hosoya Hou Hritcu Hsiang HtDP Hu Huang Hudak Huet Huiqing Hutchison Huth Hutton Hyeonseung Hylomorphisms IAP IBP IC ICFP ICH IDE IEEE IET IFS IGF IGM IGP IGT IHB IHO IHT ILF ILM IMC INU IOC IOa IOb IPA IPN IPT IPU IRM ISA ISBN ISC ISF ISI ISSN ITP Ichiro Id Idris Igarashi Ilya Im ImageType Img Immanuel Indrika Inlining Inoue Intensional Internet Ionescu Iraci Isabelle Isom Iwasaki J JFP JFPRES JSON JVIa JVIb JVIc JVId JVIe JVIf JVIg JVIh JVIi JVIj JVIk JVIl JVM Jaakko Jadud Jagannathan Jakob Janis Jansson Jarvi Jarvis Jaskelioff Jawahar Jayadev Jayaraman Jens Jerzy Jes Jesper Jeuring Jhala Jifeng Jinxu Joachim Joakim Jocelyne Johan Johansson Johnsson Jong Joosten Jos Jost Josyula Jourdan Jouvelot Ju Judica Jul Julien Jun Jung Jurriaan Jutla K KFQ KN KUR Kahrs Kakehi Kamareddine Kameyama Kammar Kamperman Kapron Karachalias Karczmarczuk Karthikeyan Kaser Katarzyna Kathi Katsumata Kaufmann Kavi Kazuhiko Kazutaka Keane Kees Keiko Keisuke Kenichi Kento Kesner Kessin Ketil Khoo Kiam Kieburtz Kimball Kiminori Kiselyov Kishon Klaas Kleisli Kliger Klop Kluge Ko Koar Kobayashi Kodama Koen Kohei Koichi Kol Kolar Kollmansberger Konecn Konstantin Konstantinos Koronkevich Krebbers Kreitz Krishnamurthi Krishnaswami Kristoffer Krivine Kuen Kumar Kwanghoon Kwangkeun L LAA LAE LAML LBF LBS LCA LCB LCC LCCN LCF LCS LDH LDS LEI LF LFM LFP LHD LLC LLP LLT LNAI LNCS LNCSD LON LPC LPD LPT LRB LS LSB LTN LTS LTT LYH Lakin Lampropoulos Langages Lange Langworthy Lapalme Lasse Lassen Latour Lau Lauchbury Laufer Launchbury Lawall Lawvere Lazar Le LeanPub Leary Leibniz Leifer Leino Leivant Lengauer Lengrand Lennart Leonidas Lescanne Leser Li Liam Licata Lillibridge Limsoon Lindeman Lindley Linearization Lins Linux Lipova Lipovaca Liu Ljungl Ljunglof Llenguatges Logics Loidl Longo Loogen Loopless Loosemore Loulergue Louren Loverdos Lu Lubeck Luc Luca Lukas Lukasz Luksic Lumsdaine Luo Luth M MAF MAI MAS MBD MCI MCP MDC MDT MEB MEE MFA MFC MFD MFM MGT MHL MHO MJ ML MLS MLton MMA MML MMP MMR MMS MMT MOS MP MPS MPT MRF MRI MRclass MSC MSN MSO MST MUa MUb MVP MWP MWT Maarten MacLennan Maciej Mackie Macmillan Macqueen Madhavapeddy Mads Magalh Magnus Maguire Maier Mair Mairson Makucevich Malde Manghi Manolios Manoury Manticore Maraist Maranget Marcin Marian Maribel Marino Marius Marko Marlow Marntirosian Masahito Masato Matija Matsuda Matsuzaki Matt Matteo Matthes Matthias Matthieu Matti Mauny Mauro Maxime Mazi McAllester McGraw McIlroy McIver Mcbride Mccarthy Mccutchen Mcdonell Mcilroy Mckinna Mclaughlin Mcnamara Meehan Meertens Meijer Meinhard Melham Mena Meng Meta MetaML Metaciricular Metalinguistic Metamorph Mia Michaelson Michal Miculan Middeldorp Mikael Mikkel Miljenovic Millikin Milner Milo Minout Miquel Miran Mirko Misra Mo Moa Modelling Modula Mogensen Moggi Mohammad Mokhov Mol Molyneux Mon Monnier Moraz Morazan Moreau Morehouse Morihata Morrisett Morten Mounier Mtac Muijnck Multi MultiMLton Multimedia Multiparadigm Mycroft Myreen N NAC NAS NCM NDA NDH NEC NF NGS NMF NPF NPP NSC NTF NVR Nada Nakahara Nakano Nakata Naletto Nanevski Nanopass Naoki Narbel Nardelli Nassuphis Natarajan Naumann Naylor Nederhof Nederpelt Neelakantan Neergaard Neill Neis Neuhaus Ngan Nguy Niccol Nicola Nicolas Nicole Niehren Niels Nielson Nigel Nikhil Niklas Nikolaos Nilsson Nimish Nipkow Nishimura NixOS Noam Nobuko Nocker Nogueira Nondeterministic Noort Nordin Normark Normen Norrish Norvell Nowak Nuprl Nuria Nussbaum Nyk Nykanen O O'Hearn O'Leary O'Reilley O'Reilly OCaml OConnor ODonnell OET OFS OGS OHearn OIE OJJ ONeill OOC OPC OPF ORA ORL OSS OVB OXM Odersky Oege Ohad Oheimb Ohlebusch Ohori Okasaki Oleg Oliva Oliveira Olivier Ophel Orbaek Ostermann Ott OutsideIn P PAC PADL PAI PAa PAb PAc PBK PCC PCF PCM PDC PDD PDH PDP PDR PEL PES PEU PFA PFB PFI PFL PFP PFT PGU PH PLC PLF PLO PLS PMA PMC PMF PNC POO PPC PPL PPS PPT PPV PRP PRU PS PSC PSE PSH PSM PSN PSP PSS PSSM PT PTB PTC PTE PTI PTIME PTM PTR PTS PU PVP Padovani Pagano Paige Paiva Palgrave Palka Palsberg Panagiotis Pani Pankaj Paola Paolo Papaspyrou Parallelization Parameterised Parametricity Parberry Parrott Parys Pasalic Patrik Patryshev Paulo Paulson Pavlopoulou Pawel Pe Peano Pena Peng Perlis Perna Peskine Petricek Peyton PeytonJones Pfenning Ph Philipp Philippe Phillip Pickler Pientka Pierro Pierron Piessens Pieter Pieters Pipelined Pir Pirog Pitts Plasmeijer Plessner Plotkin Pointon Polyvariant Pons Poon Potanin Pottier Pouillard Pp Prabhakar Pragmas Prashant Pravato Prehofer Pren Pretnar Programmeertalen Programmering Programmierung Prolog Pruiksma Pseudoknot Pt Pucella Pum Pushdown QA QC QEP QSA QSB Qu QuickCheck R RAC RAD RAF RBT RCC RCS RDP RET RFL RFP RFR RFS RIC RLP RLY RM RN RNa RNb RPC RRA RRL RRR RRS RSH RSI RSM RSR RSV RTA RTC RTF RTG RTM RTR RTS RTT RVV RWF Rabhi Ragde Rainey Rakow Ralf Ramakrishnan Ramana Ramon RandomGen Ranjit Ranta Rao Raton Rayward Reade Rebecca Reduceron Refactoring Reichwein Reilley Reina Reinhard Reisig Reppy Reus Reynald Rhiger Ricardo Riccardo Riecke Riis Rinus Rischel Rita Rittri Rivas Rizkallah Robbert Robby Rocca Rockl Rodin Rohatgi Rok Rompf Ronchi Rondogiannis Ronen Rossberg Rosu Rouyer Royer Rtberg Ruey Ruf Ruiz Runciman Rustan Rutten S SAA SAE SAI SAR SB SBA SBQ SBT SCB SCC SCD SCF SCL SCM SCN SCV SDI SDP SECD SEO SEP SF SFA SFF SFP SGH SGP SIA SID SIF SIG SIH SIL SIM SLB SLE SLI SLM SMF SMIL SML SMM SMR SMT SN SNL SNS SP SPD SPP SPU SQL SR SRL SSB SSC SSH SSI SSM SSP SSS STC STG STT SV SVP SZC Sabel Sabelfeld Sabry Sagonas Saikawa Saito Saketh Saleh Sandip Sankar Sankel Sarkar Sartiani Satnam Scagnetto Scaife Scala Sch Schaathun Schauss Schmid Scholz Schorr Schrijvers Schupp Schuster Schwerter Schwichtenberg Schwinghammer Scotty Sculthorpe Sebastopol Seco Segura Seidel Seif Sekar Seldin Selinger Sem Sergey Sergio Serrano Sestoft Setoids Setzer Sewell Shaikhha Shan Shane Shang Shankar Shao Sheard Sheeran Sheng Shivkumar Shriram Si Siau Sibylle Siddharth Siek Sigbj Silbermann Siles Silvano Silvia Simona Simonsen Singh Sison Sivaramakrishnan Sjaak Skalka Skorstengaard Skribe Slideshow Slotosch Smallbone Smaragdakis Smetsers Sorensen Sozeau Spackman Spector Sperber Spinellis Spitters Spivey Spoonhower Spreadsheet Springintveld SprintPrint Stansifer Statman Staton StdGen Steckler Stef Stefano Stephan Stien StkTokens Stott Stoyle Straaten Stratford Streicher Strnisa Strother Strub Strydonck Stuckey Subsetting Sudoku Suenaga Sufrin Sulzmann Sumii Sumners Sungwoo Sur Suranyi Suresh Susmit Sussman Susumi Susumu Sven Svensson Swamy Swierstra Syam Sydow Synek Syropoulos T TBA TBC TBE TBR TC TCC TCD TCE TCI TCM TCO TDA TDD TE TFA TFC TFH TFP TFT TIS TLC TLP TLT TMA TMO TNQ TOR TPB TPC TPE TPF TPR TPS TPU TPY TQA TRA TRC TRH TRS TRT TSC TSH TSO TSP TSR TSS TSU TTC TTE TTP TTS TUE TWB Tabareau Tagless Taha Takafumi Takeichi Takikawa Talcott Talpin Tannen Tanter Tarmo Tel Tennent Terence Terese Tetsuo Th Thackray Thielecke Thiemann Thierry Thorsten Thu Thudichum Thunks Tian Tianyu Tiark Timany TinkerType Tirronen Tobias Tobin Tofte Tolmach Tomas Torben Torsten Touzet Toyn Traytel Trevor Trinder Tronci Tsung Tue Turbak Turchin Turcotte Turon Tyng U UBM UCC UCL UFD UFL UMF URL URM USR UTI UTS UTT Ulf Ullman Ulmer Ulrich Umut Unger Unicode Univerity Unravelling Untyped Ute Uusi Uustalu V VCC VDP VDV VEE VL VNF VPT VRS VSC Vafeiadis Val Valentin Valeria VanHorn VanNoort VanRoy Vanderhallen Vasco Vasconcelos Veltri Venanzio Verbruggen Verlag Vezzosi Viktor Villanueva Ville Virding Viroli Vitek Vlad VoDKA Voigtl Voigtlander Von Vree Vries Vroon Vytiniotis W WCS WCU WEP WFR WIW WKR WMC WMG WPC WPF WPM WPS WSL WW WWT WWW Wachs Waclena Waddell Wadge Wadler Wakeling Walid Walkingshaw Walkington Wallingford Walukiewicz Wampler Wansbrough Washburn Wazny Weihao Weimer Weirich Weis Weise Wentworth Wes Westley Whitington Whong Wiegley Wiklicky Willcock Willem Wim Wisnesky WorldCat Wouter X XHTML XII XIII XIV XIX XML XV XVI XVII XVIII XalQAAAAMAAJ XmediaSMIL Xuejing Y YK Ya Yakushev Yallop Yamamoto Yan Yanhong Yannis Yao Yaron Yi Yoichi Yolanda Yong Yoshida Yufeng Yukiyoshi Yun Z Zabusky Zakian Zalewski Zappa Zave Zeilberger Zena Zhang Zhao Zhaohui Zhenjiang Zhong Zhu Ziarek Ziff Ziga Ziggurat Ziliani Zilin Zilio Zine Zucca Zurg abreviado ack acknowledgement acm acmid adabooks ados adr ajournal analyses analytics antiquote api apr aspx aug automation av avec avoidability b backend beebe behaviour bert bibdate bibmods bibnames bibnet bibsource bidirectionalization bidirectionalizer bisimulation boilerplate booktitle bor bowker bs bsz bvb bvbr bw c caching cambridge catdir cdlib cdn certilab cfp cgi ch characterizations checkpointing ck cker ckl co coercions com combinator combinators combinatory comprehensions contentreserve copatterns coq coroutine cov cs d d'applications darst dartmouth dataspace datatype datatypes datorer de dePaiva deques dijkstra displayJournal dms doc doi doo doug dric du dx e eISBN eb eblib ebrary ecip ed eds edsger edu encodings epub equational es eval exponentials extensionality ey f factorisations factorizable fjournal fonctionnelle foundphys fr fractals fsz func functionals fy g gbv generalised generativity google gov gz h hardback hardcover hathitrust hm hnemann hoc hs hsgscan htm html http https i id implicits incrementalize ing inh inhabitation injective inliner inria intensional interoperability intuitionistic issn j jan java jemo jfp jfunctprogram jfunctprogramming jid jpg judgemental jul k kap kel l langage libnote linux litprog ll lle ller lncs loc lookahead lting lvaro m marshalling meetingname melvyl meta metasystem metatheory mh mit modelling modelu monoidal monoids morphisms multi multicore n nd nder ndez ndice ne nebis nen nfa nger nhfb nondeterminism nondeterministic normalisation normalising nov ntica ny nyi o oclc oct ois onix online onlinedate opac openurl optimisation optimisations ora oreilly org os outputting p pH pagecount parallelisation parameterized parametricity pbk pdf phane pl polyvariance polyvariant pp pragprog prng programaci programmation programme programmeertaal programmering proquest ps publicfullrecord r rard raud rb rd reachability rebinding redex ren rensen res rez rg rgen rgensen ric rio rk rmark rn rtner runtime s saddleback safaribooksonline se sep ser showAbstract showtags sigact situ softcover specializers splittable spreadsheet spreadsheets springerlink stateful storefront subtyping supercompiler surjective swbplus syntaxes t tableofcontents tagger tagless tayer telecom tex texbook th tice toc tocs totalboox tre tt typable typeful typings tz u ua ufer undecidability unisg univalence unix unparsing untyped utah v variste veloppement visualisation vlg von vonSydow vs vy w wiley workerg workflow www x xii xiii xiv xix xv xvi xvii xviii xx xxi xxii xxiii xxpages xxvi xxvii xxx y youu z zentralblattmath zmath