Lambert G. L. T. Meertens

According to our database1, Lambert G. L. T. Meertens
  • authored at least 18 papers between 1975 and 2006.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

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: 978-0-13-000027-9, 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 Space-Saving 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


  Loading...