dblp.uni-trier.dewww.uni-trier.de

Lambert G. L. T. Meertens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
17EEBranislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens: Node density independent localization. IPSN 2006: 441-448
2004
16EELambert G. L. T. Meertens: Calculating the Sieve of Eratosthenes. J. Funct. Program. 14(6): 759-763 (2004)
2001
15EEStephen Fitzpatrick, Lambert G. L. T. Meertens: An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs. SAGA 2001: 49-64
1998
14 Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens: Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
13EERichard S. Bird, Lambert G. L. T. Meertens: Nested Datatypes. MPC 1998: 52-67
1997
12 Richard S. Bird, Lambert G. L. T. Meertens: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France Chapman & Hall 1997
1996
11 Lambert G. L. T. Meertens: Calculate Polytypically! PLILP 1996: 1-16
1992
10 Lambert G. L. T. Meertens: Paramorphisms. Formal Asp. Comput. 4(5): 413-424 (1992)
1989
9 Lambert G. L. T. Meertens: Constructing a Calculus of Programs. MPC 1989: 66-90
8 Evangelos Kranakis, Lambert G. L. T. Meertens: Optimal packing of similar triangles. Bulletin of the EATCS 38: 181-185 (1989)
1984
7 Paul M. B. Vitányi, Lambert G. L. T. Meertens: Big omega versus the wild functions. Bulletin of the EATCS 22: 14-19 (1984)
1983
6 Lambert G. L. T. Meertens: Incremental Polymorphic Type Checking in B. POPL 1983: 265-275
1980
5 Krzysztof R. Apt, Lambert G. L. T. Meertens: Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes. SIAM J. Comput. 9(4): 665-671 (1980)
1979
4 Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens: Recursive Assertions are not enough - or are they? Theor. Comput. Sci. 8: 73-87 (1979)
1976
3 Lambert G. L. T. Meertens: A Space-Saving Technique for Assigning Algol 68 Multiple Values. Inf. Process. Lett. 5(4): 97-99 (1976)
1975
2 Adriaan van Wijngaarden, B. J. Mailloux, J. E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker: Revised Report on the Algorithmic Language ALGOL 68 Acta Inf. 5: 1-236 (1975)
1 J. W. de Bakker, Lambert G. L. T. Meertens: On the Completeness of the Inductive Assertion Method. J. Comput. Syst. Sci. 11(3): 323-357 (1975)

Coauthor Index

1Krzysztof R. Apt [4] [5]
2Roland Carl Backhouse [14]
3J. W. de Bakker (Jaco de Bakker) [1]
4Jan A. Bergstra [4]
5Richard S. Bird [12] [13]
6R. G. Fisker [2]
7Stephen Fitzpatrick [15]
8Patrik Jansson [14]
9Johan Jeuring [14]
10Cornelis H. A. Koster [2]
11Evangelos Kranakis [8]
12Branislav Kusy [17]
13Ákos Lédeczi [17]
14C. H. Lindsey [2]
15B. J. Mailloux [2]
16Miklós Maróti (Miklos Maroti) [17]
17J. E. L. Peck (John Edward Lancelot Peck) [2]
18Michel Sintzoff [2]
19Paul M. B. Vitányi [7]
20Adriaan van Wijngaarden [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)