@TechReport{KM62 , year = "1962" , author = "Cornelis H.A. Koster and Lambert Meertens" , title = "{B}asic {E}nglish, a Generative Grammar for a Part of {E}nglish" , institution = "Euratom Seminar ``Machine en Talen'', University of Amsterdam" , pubcat = {techreport} } @Article{M62 , year = "1962" , author = "Lambert Meertens" , title = "Kunstmatige intelligentie, een programma voor het optimaal oplossen van een klasse van problemen" , journal = "Mededelingen van het Nederlands Rekenmachine Genootschap" , volume = "4" , pages = "6--13" , pubcat = {journal} } @TechReport{KGM66 , year = "1966" , author = "Cornelis H.A. Koster and Leo Geurts and Lambert Meertens" , title = "Praktijkcursus {A}{L}{G}{O}{L} 60" , type = "Mathematical Centre Report" , number = "MR 85" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{M68a , year = "1968" , author = "Lambert Meertens" , title = "Quartet No. 1 in {C} Major for 2 Violins, Viola and Violoncello" , type = "Mathematical Centre Report" , number = "MR 96" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @Article{M68b , year = "1968" , author = "Lambert Meertens" , title = "Componeren met de computer" , journal = "Informatie" , volume = "10" , pages = "418--421" , pubcat = {journal} } @Article{FM69 , year = "1969" , author = "Nico H. Frijda and Lambert Meertens" , title = "A simulation model of human information retrieval" , journal = "Sciences du Comportement" , volume = "7" , pages = "237--243" , pubcat = {journal} } @InProceedings{M69a , year = "1969" , author = "Lambert Meertens" , title = "The imitation of musical styles by a computer" , booktitle = "Information Processing 68, Proc. IFIP Congress 1968, Volume 1" , pages = "xxv--xxvi" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @Article{M69b , year = "1969" , author = "Lambert Meertens" , title = "On the generation of {A}{L}{G}{O}{L} 68 programs involving infinite modes" , journal = "{A}{L}{G}{O}{L} Bulletin" , volume = "30" , pages = "90--92" , pubcat = {journal} } @Article{AGM69 , year = "1969" , author = "Louis Andriessen and Leo Geurts and Lambert Meertens" , title = "Componist en computer" , journal = "De Gids" , volume = "132" , pages = "304--311" , pubcat = {journal} } @TechReport{GMRW69 , year = "1969" , author = "Leo Geurts and Lambert Meertens and Reind P. van de Riet and Adriaan van Wijngaarden" , title = "Physionomie, Psyche en Chironomie" , type = "Mathematical Centre Report" , number = "DR 38" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @Article{M71a , year = "1971" , author = "Lambert Meertens" , title = "Designing letter-like shapes" , journal = "Page (Bulletin of the Computer Arts Society)" , volume = "17" , pages = "2--3" , pubcat = {journal} } @InProceedings{M71b , year = "1971" , author = "Lambert Meertens" , title = "Computers and creativity" , booktitle = "Verslagboek van het Seminar on Computer Aided Architectural Design" , pages = "161--163" , publisher = "Bouwcentrum, Rotterdam" , pubcat = {conference} } @TechReport{NRMGR72 , year = "1972" , author = "Gerard Nogarede and Martin Rem and Lambert Meertens and Leo Geurts and Reind P. van de Riet" , title = "The {M}{C} {E}{L}{A}{N} Assembler" , type = "Mathematical Centre Report" , number = "MR 132" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{BM72 , year = "1972" , author = "Jaco W. de Bakker and Lambert Meertens" , title = "Simple Recursive Program Schemes and Inductive Assertions" , type = "Mathematical Centre Report" , number = "MR 142" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @InCollection{GM72 , year = "1972" , author = "Leo Geurts and Lambert Meertens" , title = "Kristalstrukturen" , booktitle = "Struktuur, een thema, een methode" , editor = "H. Sizoo" , pages = "32--37" , publisher = "De Lakenhal, Leiden" , pubcat = {bookchapter} } @Article{M73 , year = "1973" , author = "Lambert Meertens" , title = "On static scope checking in {A}{L}{G}{O}{L} 68" , journal = "{A}{L}{G}{O}{L} Bulletin" , volume = "35" , pages = "45--58" , pubcat = {journal} } @TechReport{MV73a , year = "1973" , author = "Lambert Meertens and Hans van Vliet" , title = "Repairing the Parenthesis Skeleton of {A}{L}{G}{O}{L} 68 Programs" , type = "Mathematical Centre Report" , number = "IW 2" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{GMV73 , year = "1973" , author = "Dick Grune and Lambert Meertens and Hans van Vliet" , title = "Grammar-Handling Tools Applied to {A}{L}{G}{O}{L} 68" , type = "Mathematical Centre Report" , number = "IW 5" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{MV73b , year = "1973" , author = "Lambert Meertens and Hans van Vliet" , title = "A Syntax-Directed Error-Recovery Method for Parsing {A}{L}{G}{O}{L} 68 Programs" , type = "Mathematical Centre Report" , number = "IN 6" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @InProceedings{BGM74 , year = "1974" , author = "Rob Bosch and Dick Grune and Lambert Meertens" , title = "{A}{L}{E}{P}{H}, {A} {L}anguage {E}ncouraging {P}rogram {H}ierarchy" , booktitle = "Proc. the International Computing Symp. 1973" , pages = "73--79" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @TechReport{MV74 , year = "1974" , author = "Lambert Meertens and Hans van Vliet" , title = "Repairing the State Switcher Skeleton of {A}{L}{G}{O}{L} 68 Programs" , type = "Mathematical Centre Report" , number = "IW 15" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{GMVV74 , year = "1974" , author = "Dick Grune and Lambert Meertens and Hans van Vliet and Rob van Vliet" , title = "{R}emarks on the {T}ransput {S}ection of the {R}evised {R}eport on {A}{L}{G}{O}{L} 68" , type = "Mathematical Centre Report" , number = "IN 7" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{GBM74 , year = "1974" , author = "Dick Grune and Rob Bosch and Lambert Meertens" , title = "ALEPH Manual" , type = "Mathematical Centre Report" , number = "IW 17" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @Article{BM75 , year = "1975" , author = "Jaco W. de Bakker and Lambert Meertens" , title = "On the completeness of the inductive assertion method" , journal = "Journal of Computer and System Sciences" , volume = "11" , pages = "323--357" , pubcat = {journal} } @InCollection{M75 , year = "1975" , author = "Lambert Meertens" , title = "Van abstracte variabele naar concrete representatie" , booktitle = "Colloquium Programmacorrectheid" , series = "Mathematical Centre Syllabus 21" , pages = "93--109" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport, published} } @Article{vW75 , year = "1975" , author = "A. van Wijngaarden and B.J. Mailloux and J.E.L. Peck and C.H.A. Koster and M. Sintzoff and C.H. Lindsey and L.G.L.T. Meertens and R.G. Fisker" , title = "{R}evised {R}eport on the {A}lgorithmic {L}anguage {A}{L}{G}{O}{L} 68" , journal = "Acta Informatica" , volume = "5" , pages = "1--236" , pubcat = {journal} } @InProceedings{M76a , year = "1976" , author = "Lambert Meertens" , title = "Mode and meaning" , booktitle = "New Directions in Algorithmic Languages 1975" , editor = "S.A. Schuman" , pages = "125--138" , institution = "IRIA, Rocquencourt" , pubcat = {conference} } @InProceedings{GM76 , year = "1976" , author = "Leo Geurts and Lambert Meertens" , title = "Designing a beginners' programming language" , booktitle = "New Directions in Algorithmic Languages 1975" , editor = "S.A. Schuman" , pages = "1--18" , publisher = "IRIA, Rocquencourt" , pubcat = {conference} } @InProceedings{MV76a , year = "1976" , author = "Lambert Meertens and Hans van Vliet" , title = "Repairing the parenthesis skeleton of {A}{L}{G}{O}{L} 68 programs: proof of correctness" , booktitle = "Proc. the 1975 International Conf. on {A}{L}{G}{O}{L} 68" , editor = "G.E. Hedrick" , pages = "99--117" , publisher = "Oklahoma State University, Stillwater" , pubcat = {conference} } @InProceedings{MV76b , year = "1976" , author = "Lambert Meertens and Hans van Vliet" , title = "Parsing {A}{L}{G}{O}{L} 68 with syntax-directed error recovery" , booktitle = "Proc. the 1975 International Conf. on {A}{L}{G}{O}{L} 68" , editor = "G.E. Hedrick" , pages = "118--155" , publisher = "Oklahoma State University, Stillwater" , pubcat = {conference} } @InCollection{M76b , year = "1976" , author = "Lambert Meertens" , title = "De heel eenvoudige taal {H}{E}{T}" , booktitle = "Colloquium Structuur van Programmeertalen" , series = "Mathematical Centre Syllabus 25" , pages = "59--78" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {bookchapter} } @InCollection{M76c , year = "1976" , author = "Lambert Meertens" , title = "Naar een foutenwerende programmeertaal" , booktitle = "Colloquium Structuur van Programmeertalen" , series = "Mathematical Centre Syllabus 25" , pages = "177--195" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {bookchapter} } @Article{M76d , year = "1976" , author = "Lambert Meertens" , title = "A note on integral division" , journal = "{A}{L}{G}{O}{L} Bulletin" , volume = "39" , pages = "30--32" , pubcat = {journal} } @InCollection{M76e , year = "1976" , author = "Lambert Meertens" , title = "Computerkunst" , booktitle = "Kaleidoskoop van de Wiskunde" , pages = "18--26" , publisher = "Mathematical Institute, Utrecht University" , pubcat = {bookchapter} } @Article{M76f , year = "1976" , author = "Lambert Meertens" , title = "A space-saving technique for assigning {A}{L}{G}{O}{L} 68 multiple values" , journal = "Information Processing Letters" , volume = "5" , pages = "97--99" , pubcat = {journal} } @InCollection{M76g , year = "1976" , author = "Lambert Meertens" , title = "Job control languages" , booktitle = "Colloquium Bedrijfssystemen" , series = "Mathematical Centre Syllabus 32" , pages = "113--128" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {bookchapter} } @Article{JKM77 , year = "1977" , author = "Theo V.M. Janssen and Gerard H.A. Kok and Lambert Meertens" , title = "On restrictions on transformational grammars reducing the generative power" , journal = "Linguistics and Philosophy" , volume = "1" , pages = "111--118" , pubcat = {journal} } @InProceedings{M77 , year = "1977" , author = "Lambert Meertens" , title = "From abstract variable to concrete representation" , booktitle = "New Directions in Algorithmic Languages 1976" , editor = "S.A. Schuman" , pages = "107--133" , institution = "IRIA, Rocquencourt" , pubcat = {conference} } @InProceedings{GM78a , year = "1978" , author = "Leo Geurts and Lambert Meertens" , title = "Keyword grammars" , booktitle = "Implementation and Design of Algorithmic Languages" , editor = "J. Andr\'{e} and J.-P. Ban\^{a}tre" , pages = "1--12" , publisher = "IRIA, Rocquencourt" , pubcat = {conference} } @InProceedings{M79a , year = "1979" , author = "Lambert Meertens" , title = "Program text and program structure" , booktitle = "Constructing Quality Software" , editor = "P.G. Hibbard and S.A. Schuman" , pages = "271--281" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @InCollection{M78a , year = "1978" , author = "Lambert Meertens" , title = "Abstracte datatypen" , booktitle = "Colloquium Capita Datastructuren" , series = "Mathematical Centre Syllabus 37" , pages = "27--41" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {bookchapter} } @Article{GM78b , year = "1978" , author = "Leo Geurts and Lambert Meertens" , title = "{R}emarks on {A}bstracto" , journal = "{A}{L}{G}{O}{L} Bulletin" , volume = "42" , pages = "56--63" , pubcat = {journal} } @InCollection{M78b , year = "1978" , author = "Lambert Meertens" , title = "Procedurele datastructuren" , booktitle = "Colloquium Capita Datastructuren" , series = "Mathematical Centre Syllabus 37" , pages = "171--186" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {bookchapter} } @Article{ABM79 , year = "1979" , author = "Krzysztof R. Apt and Jan A. Bergstra and Lambert Meertens" , title = "Recursive assertions are not enough---or are they?" , journal = "Theoretical Computer Science" , volume = "8" , pages = "73--87" , pubcat = {journal} } @TechReport{M79b , year = "1979" , author = "Lambert Meertens" , title = "Bitonic Sort on Ultracomputers" , type = "Ultracomputer Note" , number = "\#1" , institution = "Computer Science Department, Courant Institute of Mathematical Sciences, New York University" , pubcat = {techreport} } @TechReport{M79c , year = "1979" , author = "Lambert Meertens" , title = "Recurrent Ultracomputers are not $\log {N}$-Fast" , type = "Ultracomputer Note" , number = "\#2" , institution = "Computer Science Department, Courant Institute of Mathematical Sciences, New York University" , pubcat = {techreport} } @Article{CLMW79 , year = "1979" , author = "Chris J. Cheney and Charles H. Lindsey and Lambert Meertens and Hanno Wupper" , title = "Changing line lengths in random files" , journal = "{A}{L}{G}{O}{L} Bulletin" , volume = "44" , pages = "15" , pubcat = {journal} } @InProceedings{M79d , year = "1979" , author = "Lambert Meertens" , title = "Abstracto 84: the next generation" , booktitle = "Proc. 1979 Annual Conf." , pages = "33--39" , publisher = "ACM, Detroit" , pubcat = {conference} } @Article{AM80 , year = "1980" , author = "Krzysztof R. Apt and Lambert Meertens" , title = "Completeness with finite systems of intermediate assertions for recursive program schemes" , journal = "SIAM Journal on Computing" , volume = "9" , pages = "665--671" , pubcat = {journal} } @InCollection{M80 , year = "1980" , author = "Lambert Meertens" , title = "Code-generatie" , booktitle = "Colloquium Capita Implementatie van Programmeertalen" , editor = "J.C. van Vliet" , pages = "27--46" , series = "Mathematical Centre Syllabus 42" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {bookchapter} } @InProceedings{M81a , year = "1981" , author = "Lambert Meertens" , title = "On the design of an abstract machine for a portable {A}{L}{G}{O}{L} 68 compiler" , booktitle = "Proc. International Conf. on {A}{L}{G}{O}{L} 68" , editor = "J.C. van Vliet and H. Wupper" , pages = "97--117" , series = "Mathematical Centre Tract 134" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {conference} } @Book{M81b , year = "1981" , author = "Lambert Meertens" , title = "Draft Proposal for the ${B}$ Programming Language" , publisher = "Mathematisch Centrum, Amsterdam" , pubcat = {book} } @InProceedings{M81c , year = "1981" , author = "Lambert Meertens" , title = "Issues in the design of a beginners' programming language" , booktitle = "Algorithmic Languages" , editor = "J.W. de Bakker and J.C. van Vliet" , pages = "167--184" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @TechReport{MV81a , year = "1981" , author = "Lambert Meertens and Hans van Vliet" , title = "{A}{L}{G}{O}{L} 68+, a Superlanguage of {A}{L}{G}{O}{L} 68 for Processing the Standard-Prelude" , type = "Mathematical Centre Report" , number = "IW 168" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{MV81b , year = "1981" , author = "Lambert Meertens and Hans van Vliet" , title = "An Underlying Context-Free Grammar of {A}{L}{G}{O}{L} 68+" , type = "Mathematical Centre Report" , number = "IW 171" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{MV81c , year = "1981" , author = "Lambert Meertens and Hans van Vliet" , title = "An Operator-Priority Grammar for {A}{L}{G}{O}{L} 68+" , type = "Mathematical Centre Report" , number = "IW 173" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{MV81d , year = "1981" , author = "Lambert Meertens and Hans van Vliet" , title = "Making {A}{L}{G}{O}{L} 68+ Texts Conform to an Operator-Priority Grammar" , type = "Mathematical Centre Report" , number = "IW 180" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{MV81e , year = "1981" , author = "Lambert Meertens and Hans van Vliet" , title = "On Top-Down Parsing of {A}{L}{G}{O}{L} 68+" , type = "Mathematical Centre Report" , number = "IW 182" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{M81d , year = "1981" , author = "Lambert Meertens" , title = "Definition of an Abstract {A}{L}{G}{O}{L} 68 Machine" , type = "Mathematical Centre Report" , number = "IW 188" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @TechReport{MV81f , year = "1981" , author = "Lambert Meertens and Hans van Vliet" , title = "On the {M}{C} {A}{L}{G}{O}{L} 68 Compiler" , type = "Mathematical Centre Report" , number = "IW 189" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @Article{M82 , year = "1982" , author = "Lambert Meertens" , title = "Quick Reference to ${B}$" , journal = "{A}{L}{G}{O}{L} Bulletin" , volume = "48" , pages = "7--17" , pubcat = {journal} } @InProceedings{M83a , year = "1983" , author = "Lambert Meertens" , title = "Incremental polymorphic type checking in ${B}$" , booktitle = "Conf. Record of the 10th ACM Symposium on the Principles of Programming Languages" , pages = "265--275" , publisher = "ACM, New York" , pubcat = {conference} } @TechReport{KM83 , year = "1983" , author = "Timo J.G. Krijnen and Lambert Meertens" , title = "Making {B}-Trees Work for ${B}$" , type = "Mathematical Centre Report" , number = "IW 219" , institution = "Mathematisch Centrum, Amsterdam" , pubcat = {techreport} } @Article{MV83 , year = "1983" , author = "Lambert Meertens and Paul M.B. Vit\'{a}nyi" , title = "Big {O}mega contra the wild functions" , journal = "EATCS Bulletin" , volume = "16" , pages = "14--19" , pubcat = {journal} } @Book{M83b , year = "1983" , author = "Lambert Meertens" , title = "ANNO RR --- Annotaties en Commentaren bij het ``Revised Report on the Algorithmic Language {A}{L}{G}{O}{L} 68''" , note = "Facsimile reproduction of manuscript" , publisher = "Utrecht University, Department of Computer Science" , pubcat = {book} } @InProceedings{MP84 , year = "1984" , author = "Lambert Meertens and Steven Pemberton" , title = "An Implementation of the ${B}$ Programming Language" , booktitle = "Proc. USENIX UniForum" , pages = "65--74" , publisher = "USENIX" , pubcat = {conference} } @Article{MP85 , year = "1985" , author = "Lambert Meertens and Steven Pemberton" , title = "Description of ${B}$" , journal = "SIGPLAN Notices" , volume = "20" , number = "2" , month = "February" , pages = "58--76" , pubcat = {journal} } @Article{M85a , year = "1985" , author = "Lambert Meertens" , title = "What is in the name of ${B}$?" , journal = "The B Newsletter" , volume = "3" , pubcat = {journal} } @Article{M85b , year = "1985" , author = "Lambert Meertens" , title = "A proposal for matrix/vector functions in ${B}$" , journal = "The B Newsletter" , volume = "3" , pubcat = {journal} } @Article{M85c , year = "1985" , author = "Lambert Meertens" , title = "Eh? ${B}$ be `{A}{B}{C}', see?" , journal = "The B Newsletter" , volume = "4" , pubcat = {journal} } @Article{M85d , year = "1985" , author = "Lambert Meertens" , title = "$\sim 1 < > 1$, A Nice Distinction?" , journal = "The B Newsletter" , volume = "4" , pubcat = {journal} } @InProceedings{M86a , year = "1986" , author = "Lambert Meertens" , title = "Algorithmics --- Towards programming as a mathematical activity" , booktitle = "Mathematics and Computer Science" , series = "CWI Monographs Volume 1" , editor = "J.W. de Bakker and M. Hazewinkel and J.K. Lenstra" , pages = "289--334" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @Article{M86b , year = "1986" , author = "Lambert Meertens" , title = "From ${B}$ to {A}{B}{C}: the Salient Changes" , journal = "The B Newsletter" , volume = "5" , pages = "2--6" , pubcat = {journal} } @InProceedings{BM87 , year = "1987" , author = "Richard S. Bird and Lambert Meertens" , title = "Two exercises found in a book on Algorithmics" , booktitle = "Program Specification and Transformation" , editor = "L.G.L.T. Meertens" , pages = "451--457" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @InCollection{M87a , year = "1987" , author = "Lambert Meertens" , title = "Case studies van {C}{W}{I}-onderzoek" , booktitle = "Wetenschap in Bedrijf" , editor = "W.A.M. Aspers and H.M. Nieland" , pages = "43--69" , publisher = "CWI, Amsterdam" , pubcat = {bookchapter} } @InProceedings{M87b , year = "1987" , author = "Lambert Meertens" , title = "Een nieuwe manier van programmeren" , booktitle = "ZWO Jaarboek 1986" , pages = "204--208" , publisher = "Netherlands Organization for the Advancement of Pure Research, The Hague" , pubcat = {conference} } @Book{CDMP88 , year = "1988" , author = "Miguel Carrasquer and Denise L. Draper and Lambert Meertens and Steven Pemberton" , title = "EUROMATH Functional Specification" , publisher = "CWI, Amsterdam" , pubcat = {book} } @Article{KM89 , year = "1989" , author = "Evangelos Kranakis and Lambert Meertens" , title = "Optimal packing of similar triangles" , journal = "EATCS Bulletin" , volume = "38" , pages = "181--185" , pubcat = {journal} } @TechReport{KKM89 , year = "1989" , author = "Evangelos Kranakis and Daniel D.M. Krizanc and Lambert Meertens" , title = "Placing Mirrors in Grids" , type = "Report" , number = "CS-R8906" , institution = "CWI, Amsterdam" , pubcat = {techreport, published} } @InProceedings{M89a , year = "1989" , author = "Lambert Meertens" , title = "Constructing a calculus of programs" , booktitle = "Mathematics of Program Construction" , editor = "J.L.A. van de Snepscheut" , pages = "66--90" , series = "LNCS 375" , pubcat = {conference} } @Article{M89b , year = "1989" , author = "Lambert Meertens" , title = "Reducing hopeful majority" , journal = "The Squiggolist" , volume = "1" , number = "1" , pages = "5" , pubcat = {journal} } @Article{JM89 , year = "1989" , author = "Johan T. Jeuring and Lambert Meertens" , title = "The least-effort cabinet formation" , journal = "The Squiggolist" , volume = "1" , number = "2" , pages = "12--16" , pubcat = {journal} } @Book{GMP90 , year = "1990" , author = "Leo Geurts and Lambert Meertens and Steven Pemberton" , title = "{A}{B}{C} Programmer's Handbook" , publisher = "Prentice Hall" , note = "Reissued by Bosko Books, 2005" , pubcat = {book} } @InProceedings{KKM90 , year = "1990" , author = "Evangelos Kranakis and Daniel D.M. Krizanc and Lambert Meertens" , title = "Link length of rectilinear watchman tours in grids" , booktitle = "Proc. 2nd Canadian Conf. in Computational Geometry" , pubcat = {conference} } @Article{MW91 , year = "1991" , author = "Lambert Meertens and Jaap van der Woude" , title = "A tribute to attributes" , journal = "The Squiggolist" , volume = "2" , number = "1" , pages = "10--15" , pubcat = {journal} } @Article{M91 , year = "1991" , author = "Lambert Meertens" , title = "A neutral suggestion" , journal = "The Squiggolist" , volume = "2" , number = "1" , pages = "16" , pubcat = {journal} } @Article{FM91 , year = "1991" , author = "Maarten M. Fokkinga and Lambert Meertens" , title = "Map-functor factorized" , journal = "The Squiggolist" , volume = "2" , number = "1" , pages = "17--19" , pubcat = {journal} } @Article{FJMM91 , year = "1991" , author = "Maarten M. Fokkinga and Johan T. Jeuring and Lambert Meertens and Erik Meijer" , title = "A translation from attribute grammars to catamorphisms" , journal = "The Squiggolist" , volume = "2" , number = "1" , pages = "20--26" , pubcat = {journal} } @Article{M92 , year = "1992" , author = "Lambert Meertens" , title = "Paramorphisms" , journal = "Formal Aspects of Computing" , volume = "4" , pages = "413--424" , pubcat = {journal} } @TechReport{MPR92 , year = "1992" , author = "Lambert Meertens and Steven Pemberton and Guido van Rossum" , title = "The {A}{B}{C} structure editor --- Structure-based editing for the {A}{B}{C} programming environment" , type = "Report" , number = "CS-R9256" , institution = "CWI, Amsterdam" , pubcat = {techreport} } @TechReport{MP92 , year = "1992" , author = "Lambert Meertens and Steven Pemberton" , title = "The ergonomics of computer interfaces --- Designing a system for human use" , type = "Report" , number = "CS-R9258" , institution = "CWI, Amsterdam" , pubcat = {techreport} } @InProceedings{M93 , year = "1993" , author = "Lambert Meertens" , title = "The design of elegant languages" , booktitle = "On the history of ALGOL 68" , editor = "G. Alberts" , pages = "53--64" , publisher = "CWI, Amsterdam" , pubcat = {conference} } @Article{KKM94 , year = "1994" , author = "Evangelos Kranakis and Daniel D.M. Krizanc and Lambert Meertens" , title = "Link length of rectilinear {H}amiltonian tours in grids" , journal = "Ars Combinatoria" , volume = "38" , pages = "177--192" , pubcat = {journal} } @InProceedings{M96 , year = "1996" , author = "Lambert Meertens" , title = "Calculate polytypically!" , booktitle = "Programming Languages: Implementations Logics, and Programs, Proc. Eighth International Symposium PLILP '96" , editor = "Herbert Kuchen and S. Doaitse Swierstra" , pages = "1--16" , series = "LNCS 1140" , publisher = "Springer-Verlag" , pubcat = {conference} } @InProceedings{BM97a , year = "1997" , author = "Annette Bleeker and Lambert Meertens" , title = "A Semantics for {B}{A}{N} Logic" , booktitle = "Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols" , address = "New Brunswick, NJ" , pubcat = {workshop} } @InProceedings{CM98 , year = "1998" , author = "Arjeh M. Cohen and Lambert Meertens" , title = "The {A}cela project: aims and plans" , booktitle = "Computer-Human Interaction in Symbolic Computation" , editor = "N. Kajler" , series = "Texts and Monographs in Symbolic Computation" , publisher = "Springer-Verlag, Wien, New-York" , pubcat = {conference} } @InProceedings{BM98 , year = "1998" , author = "Richard Bird and Lambert Meertens" , title = "Nested datatypes" , booktitle = "Mathematics of Program Construction" , editor = "Johan Jeuring" , pages = "52--67" , series = "LNCS 1422" , pubcat = {conference} } @InProceedings{M98 , year = "1998" , author = "Lambert Meertens" , title = "Functor pulling" , booktitle = "Proc. Workshop on Generic Programming" , editor = "Roland Backhouse and Tim Sheard" , pubcat = {workshop} } @InCollection{BJJM99 , year = "1999" , author = "Roland Backhouse and Patrik Jansson and Johan Jeuring and Lambert Meertens" , title = "Generic Programming --- An Introduction" , booktitle = "Advanced Functional Programming" , editor = "S. Doaitse Swierstra" , pages = "28--115" , series = "LNCS 1608" , pubcat = {bookchapter} } @InProceedings{BM99 , year = "1999" , author = "Annette Bleeker and Lambert Meertens" , title = "Knowledge in security protocols: an operational semantics for {B}{A}{N} logic" , booktitle = "Workshop Proc. Methods for Modalities 1" , editor = "C. Areces and M. de Rijke" , publisher = "ILLC, University of Amsterdam" , pubcat = {workshop} } @TechReport{FM01a , year = "2001" , author = "Stephen Fitzpatrick and Lambert Meertens" , title = "Soft, Real-Time, Distributed Graph Coloring using Decentralized, Synchronous, Stochastic, Iterative-Repair, Anytime Algorithms --- A Framework" , type = "Kestrel Institute Technical Report" , number = "KES.U.01.05" , institution = "Kestrel Institute, Palo Alto" , pubcat = {techreport} } @InProceedings{FM01b , year = "2001" , author = "Stephen Fitzpatrick and Lambert Meertens" , title = "An experimental assessment of a stochastic, anytime, decentralized soft colourer for sparse graphs" , booktitle = "Stochastic Algorithms: Foundations and Applications, Proc. SAGA 2001" , editor = "Kathleen Steinhoefel" , pages = "49--64" , series = "LNCS 2264" , pubcat = {conference} } @TechReport{FM01c , year = "2001" , author = "Stephen Fitzpatrick and Lambert Meertens" , title = "Peer-to-Peer Coordination of Autonomous Sensors in High-Latency Networks using Distributed Scheduling and Data Fusion" , type = "Kestrel Institute Technical Report" , number = "KES.U.01.09" , institution = "Kestrel Institute, Palo Alto" , pubcat = {techreport} } @InProceedings{FM02a , year = "2002" , author = "Stephen Fitzpatrick and Lambert Meertens" , title = "Scalable, anytime constraint optimization through iterated, peer-to-peer interaction in sparsely-connected networks" , booktitle = "Proc. Sixth Biennial World Conf. on Integrated Design \& Process Technology (IDPT 2002)" , editor = "H. Ehrig and B.J. Kramer and A. Ertas" , publisher = "Society for Design and Process Science" , pubcat = {conference} } @InProceedings{MF02 , year = "2002" , author = "Lambert Meertens and Stephen Fitzpatrick" , title = "Asynchronous execution and communication latency in distributed constraint optimization" , booktitle = "Proc. Third International Workshop on Distributed Constraint Reasoning, First International Joint Conf. on Autonomous Agents \& Multiagent Systems (AAMAS 2002)" , editor = "Makoto Yokoo" , pages = "80--85" , pubcat = {workshop} } @InProceedings{FM02b , year = "2002" , author = "Stephen Fitzpatrick and Lambert Meertens" , title = "Experiments on dense graphs with a stochastic, peer-to-peer colorer" , booktitle = "Probabilistic Approaches in Search, Workshop at Eighteenth National Conf. on Artificial Intelligence (AAAI 2002)" , editor = "Carla Gomes and Toby Walsh" , pages = "24--28" , publisher = "AAAI Press" , pubcat = {workshop} } @InCollection{FM03 , year = "2003" , author = "Stephen Fitzpatrick and Lambert Meertens" , title = "Distributed coordination through anarchic optimization" , booktitle = "Distributed Sensor Networks: A Multiagent Perspective" , editor = "Victor Lesser and Charles L. Ortiz, Jr. and Milind Tambe" , pages = "257--295" , publisher = "Kluwer Academic Publishers" , pubcat = {bookchapter} } @Article{M04 , year = "2004" , author = "Lambert Meertens" , title = "Calculating the {S}ieve of {E}ratosthenes" , journal = "Journal of Functional Programming" , volume = "14" , number = "6" , pages = "759--763" , pubcat = {journal} } @TechReport{MF04 , year = "2004" , author = "Lambert Meertens and Stephen Fitzpatrick" , title = "The Distributed Construction of a Global Coordinate System in a Network of Static Computational Nodes from Inter-Node Distances" , type = "Kestrel Institute Technical Report" , number = "KES.U.04.04" , institution = "Kestrel Institute, Palo Alto" , pubcat = {techreport} } @InProceedings{M05a , year = "2005" , author = "Lambert Meertens" , title = "Designing Constraint Maintainers for User Interaction" , booktitle = "Proc. Third Workshop on Programmable Structured Documents" , editor = "Shin-Cheng Mu" , pages = "1--3" , pubcat = {workshop} } @TechReport{M05b , year = "2005" , author = "Lambert Meertens" , title = "The Dimension of the Vector Space Spanned by Sets of Radio-Interferometric Measurements" , type = "Kestrel Institute Technical Report" , number = "KES.U.05.02" , institution = "Kestrel Institute, Palo Alto" , pubcat = {techreport} } @InProceedings{KLMM06 , year = "2006" , author = "Branislav Kusy and Akos Ledeczi and Miklos Maroti and Lambert Meertens " , title = "Node density independent localization" , booktitle = "Information Processing in Sensor Networks, Proc. IPSN'06" , pages = "441--448" , publisher = "ACM Press, New York" , pubcat = {conference} } @Proceedings{HLM86 , year = "1986" , editor = "M. Hazewinkel and J.K. Lenstra and L.G.L.T. Meertens" , title = "Mathematics and Computer Science II --- Fundamental Contributions in the Netherlands since 1945" , series = "CWI Monographs Volume 4" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @Proceedings{M87c , year = "1987" , editor = "L.G.L.T. Meertens" , title = "Program Specification and Transformation" , publisher = "North-Holland Publishing Company, Amsterdam" , pubcat = {conference} } @Proceedings{BM97b , year = "1997" , editor = "Richard Bird and Lambert Meertens" , title = "Algorithmic Languages and Calculi" , publisher = "Chapman \& Hall, London" , pubcat = {conference} }