Lambert G. L. T. Meertens

Publication Activity (10 Years)

Years Active: 1969-2006
Publications (10 Years): 0

Publications

Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens
Node density independent localization. IPSN (2006)
Lambert G. L. T. Meertens
Calculating the Sieve of Eratosthenes. J. Funct. Program. 14 (6) (2004)
Stephen Fitzpatrick, Lambert G. L. T. Meertens
An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs. SAGA (2001)
Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
Generic Programming: An Introduction. Advanced Functional Programming (1998)
Richard S. Bird, Lambert G. L. T. Meertens
Nested Datatypes. MPC (1998)
Lambert G. L. T. Meertens
Calculate Polytypically! PLILP (1996)
Lambert G. L. T. Meertens
Paramorphisms. Formal Aspects Comput. 4 (5) (1992)
Lambert G. L. T. Meertens
Constructing a Calculus of Programs. MPC (1989)
Evangelos Kranakis, Lambert G. L. T. Meertens
Optimal packing of similar triangles. Bull. EATCS 38 (1989)
Paul M. B. Vitányi, Lambert G. L. T. Meertens
Big omega versus the wild functions. SIGACT News 16 (4) (1985)
Lambert G. L. T. Meertens, Steven Pemberton
Description of B. ACM SIGPLAN Notices 20 (2) (1985)
Paul M. B. Vitányi, Lambert G. L. T. Meertens
Big omega versus the wild functions. Bull. EATCS 22 (1984)
Lambert G. L. T. Meertens
Incremental Polymorphic Type Checking in B. POPL (1983)
Krzysztof R. Apt, Lambert G. L. T. Meertens
Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes. SIAM J. Comput. 9 (4) (1980)
Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens
Recursive Assertions are not enough - or are they? Theor. Comput. Sci. 8 (1979)
Lambert G. L. T. Meertens
Abstracto 84: The next generation. ACM Annual Conference (1979)
A. van Wijngaarcien, Barry J. Mailloux, John E. L. Peck, C. H. A. Kostcr, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker
Revised Report on the Algorithmic Language ALGOL 68. ACM SIGPLAN Notices 12 (5) (1977)
Lambert G. L. T. Meertens
A Space-Saving Technique for Assigning Algol 68 Multiple Values. Inf. Process. Lett. 5 (4) (1976)
Adriaan van Wijngaarden, Barry J. Mailloux, John 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 Informatica 5 (1975)
J. W. de Bakker, Lambert G. L. T. Meertens
On the Completeness of the Inductive Assertion Method. J. Comput. Syst. Sci. 11 (3) (1975)
Lambert G. L. T. Meertens
On the generation of ALGOL 68 programs involving infinite modes. ACM SIGPLAN Notices 4 (3) (1969)