Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(248)
Roland Carl Backhouse
9
Richard S. Bird
7
Ralf Hinze
7
Jeremy Gibbons
7
Ian Hayes
7
Bernhard Moller (Bernhard Möller)
7
Dexter Kozen
4
Eric C. R. Hehner
4
Ralph-Johan Back
4
Andres Löh
4
Keywords
(320)
Subscribe
Academic
Conferences
MPC - Mathematics of Program Construction
MPC - Mathematics of Program Construction
Publications: 220
|
Citation Count: 2,384 (Self-Citation: 95)
|
H-Index: 23Year Range: 1989-2010
Interests:
Software Engineering
,
Programming Languages
Paper submissions due: 16 January 2012, Duration:
25 - 27 June 2012, Madrid, Spain
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(220)
Unifying Theories of Programming That Distinguish Nontermination and Abort
(
Citations: 2
)
Ian J. Hayes
,
Steve E. Dunne
,
Larissa Meinicke
Conference:
Mathematics of Program Construction - MPC
, pp. 178-194, 2010
Generic Point-free Lenses
(
Citations: 3
)
Hugo Pacheco
,
Alcino Cunha
Conference:
Mathematics of Program Construction - MPC
, pp. 331-352, 2010
Sampling, Splitting and Merging in Coinductive Stream Calculus
(
Citations: 1
)
Milad Niqui
,
Jan Rutten
Conference:
Mathematics of Program Construction - MPC
, pp. 310-330, 2010
Lucy-n: a n-Synchronous Extension of Lustre
(
Citations: 1
)
Louis Mandel
,
Marc Pouzet
Conference:
Mathematics of Program Construction - MPC
, pp. 288-309, 2010
Adjoint Folds and Unfolds
(
Citations: 2
)
Ralf Hinze
Conference:
Mathematics of Program Construction - MPC
, pp. 195-228, 2010