Lambert G. L. T. Meertens

2006
17	EE	Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens: Node density independent localization. IPSN 2006: 441-448
2004
16	EE	Lambert G. L. T. Meertens: Calculating the Sieve of Eratosthenes. J. Funct. Program. 14(6): 759-763 (2004)
2001
15	EE	Stephen 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
13	EE	Richard 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

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

Colors in the list of coauthors