Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lambert G. L. T. Meertens
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
author = {Richard S. Bird and
Jeremy Gibbons and
Ralf Hinze and
Peter H{\"{o}}fner and
Johan Jeuring and
Lambert G. L. T. Meertens and
Bernhard M{\"{o}}ller and
Carroll Morgan and
Tom Schrijvers and
Wouter Swierstra and
Nicolas Wu},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Algorithmics},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {59--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_3},
doi = {10.1007/978-3-030-81701-5\_3},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/KusyLMM06,
author = {Branislav Kusy and
{\'{A}}kos L{\'{e}}deczi and
Miklos Maroti and
Lambert G. L. T. Meertens},
editor = {John A. Stankovic and
Phillip B. Gibbons and
Stephen B. Wicker and
Joseph A. Paradiso},
title = {Node density independent localization},
booktitle = {Proceedings of the Fifth International Conference on Information Processing
in Sensor Networks, {IPSN} 2006, Nashville, Tennessee, USA, April
19-21, 2006},
pages = {441--448},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1127777.1127844},
doi = {10.1145/1127777.1127844},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/KusyLMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Meertens04,
author = {Lambert G. L. T. Meertens},
title = {Calculating the Sieve of Eratosthenes},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {759--763},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005210},
doi = {10.1017/S0956796804005210},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Meertens04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/FitzpatrickM01,
author = {Stephen Fitzpatrick and
Lambert G. L. T. Meertens},
editor = {Kathleen Steinh{\"{o}}fel},
title = {An Experimental Assessment of a Stochastic, Anytime, Decentralized,
Soft Colourer for Sparse Graphs},
booktitle = {Stochastic Algorithms: Foundations and Applications, International
Symposium, {SAGA} 2001 Berlin, Germany, December 13-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2264},
pages = {49--64},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45322-9\_3},
doi = {10.1007/3-540-45322-9\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saga/FitzpatrickM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/BackhouseJJM98,
author = {Roland Carl Backhouse and
Patrik Jansson and
Johan Jeuring and
Lambert G. L. T. Meertens},
editor = {S. Doaitse Swierstra and
Pedro Rangel Henriques and
Jos{\'{e}} Nuno Oliveira},
title = {Generic Programming: An Introduction},
booktitle = {Advanced Functional Programming, Third International School, Braga,
Portugal, September 12-19, 1998, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1608},
pages = {28--115},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10704973\_2},
doi = {10.1007/10704973\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/BackhouseJJM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdM98,
author = {Richard S. Bird and
Lambert G. L. T. Meertens},
editor = {Johan Jeuring},
title = {Nested Datatypes},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {52--67},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054285},
doi = {10.1007/BFB0054285},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BirdM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/98/CohenM98,
author = {Arjeh M. Cohen and
Lambert G. L. T. Meertens},
editor = {Norbert Kajler},
title = {The {ACELA} project: aims and plans},
booktitle = {Computer-Human Interaction in Symbolic Computation},
series = {Texts and Monographs in Symbolic Computation},
pages = {7--23},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-6461-7\_2},
doi = {10.1007/978-3-7091-6461-7\_2},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/98/CohenM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alc/1997,
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
publisher = {Chapman {\&} Hall},
year = {1997},
isbn = {0-412-82050-1},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alc/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Meertens96,
author = {Lambert G. L. T. Meertens},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Calculate Polytypically!},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {1--16},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_73},
doi = {10.1007/3-540-61756-6\_73},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Meertens96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Meertens92,
author = {Lambert G. L. T. Meertens},
title = {Paramorphisms},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {413--424},
year = {1992},
url = {https://doi.org/10.1007/BF01211391},
doi = {10.1007/BF01211391},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Meertens92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068009,
author = {Leo Geurts and
Lambert G. L. T. Meertens and
Steven Pemberton},
title = {{ABC} programmer's handbook},
publisher = {Prentice Hall},
year = {1990},
isbn = {978-0-13-000027-9},
timestamp = {Tue, 03 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/KranakisM89,
author = {Evangelos Kranakis and
Lambert G. L. T. Meertens},
title = {Optimal packing of similar triangles},
journal = {Bull. {EATCS}},
volume = {38},
pages = {181--185},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/KranakisM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Meertens89,
author = {Lambert G. L. T. Meertens},
editor = {Jan L. A. van de Snepscheut},
title = {Constructing a Calculus of Programs},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {66--90},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_5},
doi = {10.1007/3-540-51305-1\_5},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Meertens89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/VitanyiM85,
author = {Paul M. B. Vit{\'{a}}nyi and
Lambert G. L. T. Meertens},
title = {Big omega versus the wild functions},
journal = {{SIGACT} News},
volume = {16},
number = {4},
pages = {56--59},
year = {1985},
url = {https://doi.org/10.1145/382242.382835},
doi = {10.1145/382242.382835},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/VitanyiM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/MeertensP85,
author = {Lambert G. L. T. Meertens and
Steven Pemberton},
title = {Description of {B}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {20},
number = {2},
pages = {58--76},
year = {1985},
url = {https://doi.org/10.1145/988304.988313},
doi = {10.1145/988304.988313},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/MeertensP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/VitanyiM84,
author = {Paul M. B. Vit{\'{a}}nyi and
Lambert G. L. T. Meertens},
title = {Big omega versus the wild functions},
journal = {Bull. {EATCS}},
volume = {22},
pages = {14--19},
year = {1984},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/VitanyiM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Meertens83,
author = {Lambert G. L. T. Meertens},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Incremental Polymorphic Type Checking in {B}},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {265--275},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567092},
doi = {10.1145/567067.567092},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Meertens83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/AptM80,
author = {Krzysztof R. Apt and
Lambert G. L. T. Meertens},
title = {Completeness with Finite Systems of Intermediate Assertions for Recursive
Program Schemes},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {4},
pages = {665--671},
year = {1980},
url = {https://doi.org/10.1137/0209050},
doi = {10.1137/0209050},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/AptM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AptBM79,
author = {Krzysztof R. Apt and
Jan A. Bergstra and
Lambert G. L. T. Meertens},
title = {Recursive Assertions are not enough - or are they?},
journal = {Theor. Comput. Sci.},
volume = {8},
pages = {73--87},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90058-6},
doi = {10.1016/0304-3975(79)90058-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AptBM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Meertens79,
author = {Lambert G. L. T. Meertens},
title = {Abstracto 84: The next generation},
booktitle = {Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA,
October 29-31, 1979},
pages = {33--39},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800177.810022},
doi = {10.1145/800177.810022},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/Meertens79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/WijngaarcienMPK77,
author = {A. van Wijngaarcien and
Barry J. Mailloux and
John E. L. Peck and
C. H. A. Kostcr and
Michel Sintzoff and
C. H. Lindsey and
Lambert G. L. T. Meertens and
R. G. Fisker},
title = {Revised Report on the Algorithmic Language {ALGOL} 68},
journal = {{ACM} {SIGPLAN} Notices},
volume = {12},
number = {5},
pages = {1--70},
year = {1977},
url = {https://doi.org/10.1145/954652.1781176},
doi = {10.1145/954652.1781176},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/WijngaarcienMPK77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067689,
author = {Adriaan van Wijngaarden and
Barry J. Mailloux and
John Edward Lancelot Peck and
Cornelis H. A. Koster and
Michel Sintzoff and
C. H. Lindsey and
Lambert G. L. T. Meertens and
R. G. Fisker},
title = {Revised Report on the Algorithmic Language Algol 68},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/978-3-642-95279-1},
doi = {10.1007/978-3-642-95279-1},
isbn = {978-3-540-07592-9},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0067689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Meertens76,
author = {Lambert G. L. T. Meertens},
title = {A Space-Saving Technique for Assigning Algol 68 Multiple Values},
journal = {Inf. Process. Lett.},
volume = {5},
number = {4},
pages = {97--99},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90002-8},
doi = {10.1016/0020-0190(76)90002-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Meertens76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/WijngaardenMPKSLMF75,
author = {Adriaan van Wijngaarden and
Barry J. Mailloux and
John E. L. Peck and
Cornelis H. A. Koster and
Michel Sintzoff and
C. H. Lindsey and
Lambert G. L. T. Meertens and
R. G. Fisker},
title = {Revised Report on the Algorithmic Language {ALGOL} 68},
journal = {Acta Informatica},
volume = {5},
pages = {1--236},
year = {1975},
url = {https://doi.org/10.1007/BF00265077},
doi = {10.1007/BF00265077},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/WijngaardenMPKSLMF75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BakkerM75,
author = {J. W. de Bakker and
Lambert G. L. T. Meertens},
title = {On the Completeness of the Inductive Assertion Method},
journal = {J. Comput. Syst. Sci.},
volume = {11},
number = {3},
pages = {323--357},
year = {1975},
url = {https://doi.org/10.1016/S0022-0000(75)80056-0},
doi = {10.1016/S0022-0000(75)80056-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BakkerM75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Meertens69,
author = {Lambert G. L. T. Meertens},
title = {On the generation of {ALGOL} 68 programs involving infinite modes},
journal = {{ACM} {SIGPLAN} Notices},
volume = {4},
number = {3},
pages = {90--92},
year = {1969},
url = {https://doi.org/10.1145/1316865.1316869},
doi = {10.1145/1316865.1316869},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/Meertens69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
