Lambert G. L. T. Meertens

According to our database, Lambert G. L. T. Meertens authored at least 24 papers between 1969 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Algorithmics.

Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu

Proceedings of the Advancing Research in Information and Communication Technology, 2021

2006

Node density independent localization.

Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

2004

Calculating the Sieve of Eratosthenes.

Lambert G. L. T. Meertens

J. Funct. Program., 2004

2001

An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs.

Stephen Fitzpatrick, Lambert G. L. T. Meertens

Proceedings of the Stochastic Algorithms: Foundations and Applications, 2001

1998

Nested Datatypes.

Richard S. Bird, Lambert G. L. T. Meertens

Proceedings of the Mathematics of Program Construction, 1998

Generic Programming: An Introduction.

Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens

Proceedings of the Advanced Functional Programming, 1998

The ACELA project: aims and plans.

Arjeh M. Cohen, Lambert G. L. T. Meertens

Proceedings of the Computer-Human Interaction in Symbolic Computation, 1998

1996

Calculate Polytypically!

Lambert G. L. T. Meertens

Proceedings of the Programming Languages: Implementations, 1996

1992

Paramorphisms.

Lambert G. L. T. Meertens

Formal Aspects Comput., 1992

1990

ABC programmer's handbook.

Leo Geurts, Lambert G. L. T. Meertens, Steven Pemberton

Prentice Hall, ISBN: 978-0-13-000027-9, 1990

1989

Optimal packing of similar triangles.

Evangelos Kranakis, Lambert G. L. T. Meertens

Bull. EATCS, 1989

Constructing a Calculus of Programs.

Lambert G. L. T. Meertens

Proceedings of the Mathematics of Program Construction, 1989

1985

Description of B.

Lambert G. L. T. Meertens, Steven Pemberton

ACM SIGPLAN Notices, 1985

Big omega versus the wild functions.

Paul M. B. Vitányi, Lambert G. L. T. Meertens

SIGACT News, 1985

1983

Incremental Polymorphic Type Checking in B.

Lambert G. L. T. Meertens

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1980

Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.

Krzysztof R. Apt, Lambert G. L. T. Meertens

SIAM J. Comput., 1980

1979

Recursive Assertions are not enough - or are they?

Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens

Theor. Comput. Sci., 1979

Abstracto 84: The next generation.

Lambert G. L. T. Meertens

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1977

Revised Report on the Algorithmic Language ALGOL 68.

A. van Wijngaarcien, Barry J. Mailloux, John E. L. Peck, C. H. A. Kostcr, Michel Sintzoff, Charles H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker

ACM SIGPLAN Notices, 1977

1976

A Space-Saving Technique for Assigning Algol 68 Multiple Values.

Lambert G. L. T. Meertens

Inf. Process. Lett., 1976

Revised Report on the Algorithmic Language Algol 68

Adriaan van Wijngaarden, Barry J. Mailloux, John Edward Lancelot Peck, Cornelis H. A. Koster, Michel Sintzoff, Charles H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker

Springer, ISBN: 978-3-540-07592-9, 1976

1975

On the Completeness of the Inductive Assertion Method.

J. W. de Bakker, Lambert G. L. T. Meertens

J. Comput. Syst. Sci., 1975

Revised Report on the Algorithmic Language ALGOL 68

Adriaan van Wijngaarden, Barry J. Mailloux, John E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, Charles H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker

Acta Informatica, 1975

1969

On the generation of ALGOL 68 programs involving infinite modes.

Lambert G. L. T. Meertens

ACM SIGPLAN Notices, 1969