Lambert G. L. T. Meertens

26 papers A* 1B 2Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2021 — ch.
Algorithmics.
IFIP's Exciting First 60+ Years
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
2006 — conf
Node density independent localization.
IPSN
Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Lambert G. L. T. Meertens
2004 J jnl
Calculating the Sieve of Eratosthenes.
J. Funct. Program.
Lambert G. L. T. Meertens
2001 — conf
An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs.
SAGA
Stephen Fitzpatrick, Lambert G. L. T. Meertens
1998 — conf
Generic Programming: An Introduction.
Advanced Functional Programming
Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
1998 B conf
Nested Datatypes.
MPC
Richard S. Bird, Lambert G. L. T. Meertens
1998 — ch.
The ACELA project: aims and plans.
Computer-Human Interaction in Symbolic Computation
Arjeh M. Cohen, Lambert G. L. T. Meertens
1997 — ed.
Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France
Algorithmic Languages and Calculi
Richard S. Bird, Lambert G. L. T. Meertens
1996 — conf
Calculate Polytypically!
PLILP
Lambert G. L. T. Meertens
1992 J jnl
Paramorphisms.
Formal Aspects Comput.
Lambert G. L. T. Meertens
1990 — book
ABC programmer's handbook.
Leo Geurts, Lambert G. L. T. Meertens, Steven Pemberton
1989 B conf
Constructing a Calculus of Programs.
MPC
Lambert G. L. T. Meertens
1989 J jnl
Optimal packing of similar triangles.
Bull. EATCS
Evangelos Kranakis, Lambert G. L. T. Meertens
1985 J jnl
Big omega versus the wild functions.
SIGACT News
Paul M. B. Vitányi, Lambert G. L. T. Meertens
1985 J jnl
Description of B.
ACM SIGPLAN Notices
Lambert G. L. T. Meertens, Steven Pemberton
1984 J jnl
Big omega versus the wild functions.
Bull. EATCS
Paul M. B. Vitányi, Lambert G. L. T. Meertens
1983 A* conf
Incremental Polymorphic Type Checking in B.
POPL
Lambert G. L. T. Meertens
1980 J jnl
Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.
SIAM J. Comput.
Krzysztof R. Apt, Lambert G. L. T. Meertens
1979 — conf
Abstracto 84: The next generation.
ACM Annual Conference
Lambert G. L. T. Meertens
1979 J jnl
Recursive Assertions are not enough - or are they?
Theor. Comput. Sci.
Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens
1977 J jnl
Revised Report on the Algorithmic Language ALGOL 68.
ACM SIGPLAN Notices
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
1976 J jnl
A Space-Saving Technique for Assigning Algol 68 Multiple Values.
Inf. Process. Lett.
Lambert G. L. T. Meertens
1976 — book
Revised Report on the Algorithmic Language Algol 68
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
1975 J jnl
On the Completeness of the Inductive Assertion Method.
J. Comput. Syst. Sci.
J. W. de Bakker, Lambert G. L. T. Meertens
1975 J jnl
Revised Report on the Algorithmic Language ALGOL 68
Acta Informatica
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
1969 J jnl
On the generation of ALGOL 68 programs involving infinite modes.
ACM SIGPLAN Notices
Lambert G. L. T. Meertens