Lambert G. L. T. Meertens
According to our database^{1},
Lambert G. L. T. Meertens
authored at least 18 papers
between 1975 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at id.loc.gov
On csauthors.net:
Bibliography
2006
Node density independent localization.
Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006
2004
Calculating the Sieve of Eratosthenes.
J. Funct. Program., 2004
2001
An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs.
Proceedings of the Stochastic Algorithms: Foundations and Applications, 2001
1998
Nested Datatypes.
Proceedings of the Mathematics of Program Construction, 1998
Generic Programming: An Introduction.
Proceedings of the Advanced Functional Programming, 1998
1996
Calculate Polytypically!
Proceedings of the Programming Languages: Implementations, 1996
1992
Paramorphisms.
Formal Asp. Comput., 1992
1990
ABC programmer's handbook.
Prentice Hall, ISBN: 9780130000279, 1990
1989
Optimal packing of similar triangles.
Bulletin of the EATCS, 1989
Constructing a Calculus of Programs.
Proceedings of the Mathematics of Program Construction, 1989
1985
Description of B.
SIGPLAN Notices, 1985
1984
Big omega versus the wild functions.
Bulletin of the EATCS, 1984
1983
Incremental Polymorphic Type Checking in B.
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.
SIAM J. Comput., 1980
1979
Recursive Assertions are not enough  or are they?
Theor. Comput. Sci., 1979
1976
A SpaceSaving Technique for Assigning Algol 68 Multiple Values.
Inf. Process. Lett., 1976
1975
On the Completeness of the Inductive Assertion Method.
J. Comput. Syst. Sci., 1975
Revised Report on the Algorithmic Language ALGOL 68
Acta Inf., 1975