Специалисты в области вычислений с объектами

Предполагается, что настоящая страница будет пополняться по мере появления в Web релевантной информации..

 

Haskell B. Curry	Research interests Mathematical logic, combinatory logic, functional languages. A very short biography can be found at http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Curry.html. Penn State also has a short biography of him: http://www.research.psu.edu/history/history3.shtml. There is a sign honoring him outside of the mathematics building (McAllister Building): http://www.alumni.psu.edu/VRPennState/VirtualAmbassador/Signs/16.html
J.Roger Hindley	Research interests   Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory. Books published Combinatory Logic Vol. II, North-Holland Co., 1972 (with H. B. Curry, J. P. Seldin). Introduction to Combinatory Logic, Cambridge Univ. Press, 1972 (with B. Lercher, J. P. Seldin). To H. B. Curry, Academic Press, 1980 (edited, with J. Seldin). Introduction to Combinators and Lambda-calculus, Cambridge Univ. Press 1986 (with J. P. Seldin). Basic Simple Type Theory, Cambridge Univ. Press 1995.
Jonathan.P.Seldin	Recent Books Introduction to Combinators and $\lambda$-Calculus (with Roger Hindley), London Math. Soc. Student Texts No. 1 (Cambridge Univeristy Press, 1986). New edition (requested by publisher) in preparation.
Edgar 'Ted' Codd	The mathematician and former IBM Fellow best known for creating the "relational" model for representing data that led to today's $12 billion database industry. Related Links Collected works of Codd Short history of databases National Academy Press database history Codd's 12 Rules: Data Management Strategies
Peter Landin	Projects publications Histories of Discoveries of Continuations: Belles-Lettres with Equivocal Tenses
Joe Stoy	Research interests The semantics of programming languages, and applying formal methods to the construction and validation of computing systems, both in software and in hardware.
Henk Barendregt	Some papers [1997] The impact of the lambda calculus Bulletin of Symbolic Logic, Volume 3, no 2, 1997, 181--215. Volume: 164 kb Computer Wiskunde (in Dutch)  Volume: 50 kb Tutorial Lambda Calculi with Types (slides) Volume: 107 kb
Dana S. Scott	Current research interests Logics of Types and Computation at CMU
Gordon Plotkin	Some publications John Longley and Gordon Plotkin Logical Full Abstraction and PCF pdf Gordon Plotkin Full Abstraction, Totality and PCF pdf
Harvey M. Friedman	Eighteen articles discussing work of Friedman in:   Harvey Friedman's Research on the Foundations of Mathematics, edited by L. Harrington, M. Morley, A. Scedrov, and S. Simpson, North-Holland, 1985, 408 pages plus xvi.
Martin Bunder	Some publications Book: Set Theory based on Combinatory Logic, V.R.B., Groningen, 1969*. Book (in first draft): Illative Combinatory Logic.
Nick Roussopoulos	Selected publications EE Alexandros Labrinidis, Nick Roussopoulos: Balancing Performance and Data Freshness in Web Database Servers. VLDB 2003: 393-404 92 EE Dimitrios Tsoumakos, Nick Roussopoulos: A Comparison of Peer-to-Peer Search Methods. WebDB 2003: 61-66 91 EE Mohamed A. Sharaf, Yannis Sismanis, Alexandros Labrinidis, Panos K. Chrysanthis, Nick Roussopoulos: Efficient Dissemination of Aggregate Data over the Wireless Web. WebDB 2003: 93-98
Michael Brodie	Research interests Chief Scientist, Verizon Information Technology. He works on large-scale strategic Information Technology (IT) challenges for Verizon Corporation's senior executives. His primary interest is in the use of IT, with an emphasis on emerging technologies, to enable organizational and business objectives, including organizational change. Since 1998 he has investigated e-commerce and the relationships between economics, business, and technology. His long-term industrial and research focus is on large-scale information systems - their total life cycle, business and technical contexts, core technologies, and "integration" within in a large scale, operational telecommunications environment.
Mike Stonebraker	He is widely recognized as one of the world's foremost experts in database technology and is noted for his insight in operating systems and expert systems.
John McCarthy	Published papers on mathematical theory of computation A Basis for a Mathematical Theory of Computation, first given in 1961, was published in 1963 in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirschberg and published by North-Holland. Towards a Mathematical Science of Computation, IFIPS 1962 extends the results of the previous paper. Correctness of a Compiler for Arithmetic Expressions by John McCarthy and James Painter may have been the first proof of correctness of a compiler. Abstract syntax and Lisp-style recursive definitions kept the paper short.
Corrado Bohm	Selected publications C. Böhm, A. Berarducci, "Automatic Synthesis of typed Lambda-programs on Term Algebras" Theoretical Computer Science , 39: 135-154, 1985. C. Böhm, "Functional Programming and Combinatory algebras", MFCS , Carlsbad, Czecoslovakia, eds M.P. Chytil, L. Janiga and V. Koubek, LNCS 324, 14-26, 1988.
Simon Peyton Jones	Current work [Major revision: Dec 2003] Practical type inference for arbitrary-rank types (with Mark Shields). This paper, long in gestatation, describes the approach that GHC takes to type inference for higher-rank types. It has a strongly tutorial flavour, and comes with an executable implementation. Feedback on this paper would be very welcome.
John Hughes	Teaching Another intensive graduate course on Designing and Using Combinators: The Essence of Functional Programming. Monad transformers, combinator design methods, functional reactive programming and CGI scripting, it's all here.
Mike Gordon	Introduction to functional programming (1995/96) Lecture notes for this course (104 pages of compressed postscript) ML examples from the Lecture notes Lecture notes for Larry Paulson's course on Foundations of Functional Programming.
Pierre-Louis Curien	Research interests (programming languages and proof theory): lambda calculi (and explicit substitutions) typing (in particular: subtyping, parametricity) domain theory (in particular: sequentiality) linear logic games semantics classical logic
Luca Cardelli	Selected publications Martín Abadi and Luca Cardelli. A theory of objects. (Book.) Springer, 1996. Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov. An extension of system F with subtyping. Information and Computation, 109(1/2):4-56, February 1994. Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993.
Eike Ritter	Selected publications Categorical abstract machines for higher-order typed lambda calculi. Published in TCS. dvi ps Categorical abstract machines for higher-order typed lambda calculi. PhD Thesis, University of Cambridge. dvi ps
John C. Reynolds	A Recent Book Theories of Programming Languages, Cambridge University Press, Fall 1998. An Old Book The Craft of Programming, formerly published by Prentice-Hall International, 1981.
David Turner	One of the pioneers of functional languages. He designed several languages, including, SASL (1976), KRC (1981), and Miranda, many of which were implemented using combinators and the S-K reduction machine which he defined. Project: Elementary Strong Functional Programming: Summary The project, funded by the UK Engineeering and Physical Sciences Research Council (EPSRC) from 14.10.96 to 13.10.99 under grant GR/L03279, was undertaken to investigate the practical viability of a discipline of strong functional programming proposed in [8]. The research associate was Alastair Telford.
John Harrison	Lecture Notes in Functional Programming: Entire notes (160 pages): DVI, Postscript
Xavier Leroy	Some references: CAML Light reference manual by Xavier Leroy Functional programming using Caml Light by Michel Mauny
Valérie Ménissier-Morain	Research subject: reliability of programmation Exact arithmetic Mechanized formal proof Language for certified formal computations
Paul Hudak	The principal organizer and chairperson of the "Haskell Committee," an international group of computer scientists who designed Haskell. Editor for the Journal of Functional Programming and the Journal of Higher-Order and Symbolic Logic. Representative Publications: The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge University Press, New York, 2000.