Lambert G. L. T. Meertens

	2006
18		Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens: Node density independent localization. IPSN 2006: 441-448
	2004
17		Lambert G. L. T. Meertens: Calculating the Sieve of Eratosthenes. J. Funct. Program. 14(6): 759-763 (2004)
	2001
16		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
15		Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens: Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
14		Richard S. Bird, Lambert G. L. T. Meertens: Nested Datatypes. MPC 1998: 52-67
	1997
13		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
12		Lambert G. L. T. Meertens: Calculate Polytypically! PLILP 1996: 1-16
	1992
11		Lambert G. L. T. Meertens: Paramorphisms. Formal Asp. Comput. 4(5): 413-424 (1992)
	1990
10		Leo Geurts, Lambert G. L. T. Meertens, Steven Pemberton: ABC programmer's handbook. Prentice Hall 1990: I-XIV, 1-166
	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	[15]
3	J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker)	[1]
4	Jan A. Bergstra	[4]
5	Richard S. Bird	[13] [14]
6	R. G. Fisker	[2]
7	Stephen Fitzpatrick	[16]
8	Leo Geurts	[10]
9	Patrik Jansson	[15]
10	Johan Jeuring	[15]
11	Cornelis H. A. Koster	[2]
12	Evangelos Kranakis	[8]
13	Branislav Kusy (Brano Kusy)	[18]
14	Ákos Lédeczi	[18]
15	C. H. Lindsey	[2]
16	B. J. Mailloux	[2]
17	Miklós Maróti (Miklos Maroti)	[18]
18	J. E. L. Peck (John Edward Lancelot Peck)	[2]
19	Steven Pemberton	[10]
20	Michel Sintzoff	[2]
21	Paul M. B. Vitányi	[7]
22	Adriaan van Wijngaarden	[2]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page