Введение в теорию программирования. Функциональный подход

: Литература по курсу
[+]
  • 1.
    Атли К.
    VB.NET для программистов.
    ДМК Пресс, 2002. ISBN 5-94074-110-Х
  • 2.
    Браунси К.
    Основные концепции структур данных и реализация в С++
    М.: Издательский дом "Вильямс", 2002.- 320 с.
  • 3.
    Вилле К.
    Представляем Си Шарп
    ДМК Пресс, 2001. ISBN 5-94074-039-1
  • 4.
    Вольфенгаген В.Э.
    Категориальная абстрактная машина
    Изд. 2. М.: АО <ЮрИнфоР>, 2001 - 96 с. ISBN 5-89158-102-7
  • 5.
    Вольфенгаген В.Э.
    Комбинаторная логика в программировании
    204 с. изд. 2-е, перераб., дополн. - М.: АО "Центр ЮрИнфоР", 2003 - 203 с. ISBN 5-89158-101-9, ББК 32.97
  • 6.
    Вольфенгаген В.Э.
    Конструкции языков программирования. Приемы описания
    М.: АО <ЮрИнфоР>, 2001, 276 с.
  • 7.
    Вольфенгаген В.Э.
    Концептуализация в аппликативных вычислительных системах
    М.: МИФИ, 1990
  • 8.
    Брызгалов С.В., Вольфенгаген В.Э., Гаврилов А.В., Зыков С.В., Исмаилова Л.Ю., Кастанов С.А., Одрова А.Н., Погодаев Г.Г., Сницарь Р.В.
    Категориальная объектно-ориентированная абстрактная машина (КООАМ)
    Информационный бюллетень РФФИ, 4, 1996, c. 786
  • 9.
    Гейтс Б.
    Бизнес со скоростью мысли.
    М.: Изд-во ЭКСМО-Пресс, 2000.- 480 с.
  • 10.
    Зыков С.В.
    Современные языки программирования. Ч.I. Функциональный подход к программированию.
    М.:МИФИ - 2003, 230 с.
  • 11.
    Зыков С.В.
    Современные языки программирования. Ч.II. Объектно-ориентированный подход к программированию.
    М.:МИФИ - 2004, 251 с.
  • 12.
    Зыков С.В.
    Лабораторный практикум по курсу <Языки программирования>. Ч.1. Основы объектного программирования на С++.
    М.: МИФИ - 2001, 55 с. ISBN 5-7262-0454-9
  • 13.
    Зыков С.В.
    Лабораторный практикум по курсу <Языки программирования>. Ч.2. Основы разработки приложений на С++ для Win32 API.
    М.: МИФИ - 2001, 45 с. ISBN 5-7262-0454-9
  • 14.
    Керниган Б., Пайк Р.
    Практика программирования.
    СПб.: Невский диалект, 2001.-381 с.
  • 15.
    Петцольд Ч.
    Программирование для Microsoft Windows на C#.
    <Русская редакция>, 2002. ISBN 5-7502-0210-0
  • 16.
    Платт Д.С.
    Знакомство с Microsoft .NET.
    <Русская редакция>, 2001. ISBN 5-7502-0186-4
  • 17.
    Рейли Д. Дж.
    Создание приложений Microsoft ASP.NET.
    <Русская редакция>, 2002. ISBN 5-7502-0218-6
  • 18.
    Рекомендации по преподаванию информатики в университетах: Пер. с англ.
    СПб., 2002.- 372 с. ISBN 5-288-03105-3
  • 19.
    Рихтер Дж.
    Программирование на платформе Microsoft .NET Framework.
    <Русская редакция>, 2002
  • 20.
    Робинсон У.
    C# без лишних слов.
    ДМК Пресс, 2002. ISBN 5-94074-177-0
  • 21.
    Смит С.
    ASP.NET в примерах.
    ДМК Пресс, 2002. ISBN 5-94074-165-7
  • 22.
    Шапошников И.
    Web-сервисы Microsoft .NET.
    <БХВ-Петербург>, 2002. ISBN 5-94157-199-2
  • 23.
    Appleby D., VandeKopple J.J.
    Programming languages, paradigm and practice (2nd ed.).
    McGraw-Hill, 1997
  • 24.
    Barendregt H.P.
    The lambda calculus (revised edition),
    Studies in Logic, 103, North Holland, Amsterdam, 1984
  • 25.
    Box D.
    Essential .NET, Vol.1: The Common Language Runtime.
    Addison Wesley, 2002, 432
  • 26.
    Canning P.S., Cook W.R., Hill W.L., Mitchell J.C., Olthoff W.
    F-bounded polymorphism for object-oriented programming.
    Conference on Functional Programming and Computer Architecture, 1989, p.p. 273-280
  • 27.
    Cardelli L.
    A semantics of multiple inheritance.
    In: Information and Computation, vol.76, 1988, p.p. 138-164
  • 28.
    Church A.
    The calculi of lambda-conversion.
    Princeton, 1941, ed. 2, 1951
  • 29.
    Canning P.S., Cook W., Hill W.L.
    Inheritance is not subtyping.
    In: Proc. 17th ACM Symposium on Principles of Programming Langauges, Jan. 1990, p.p. 125-135
  • 30.
    Cook W., Palsberg J.
    A denotational semantics of inheritance and its correctness.
    In: OOPSLA 1989 as SIGPLAN, vol.24, No.10, Oct. 1989, p.p. 433-444
  • 31.
    Cousineau G., Curien P.-L., Mauny M.
    The categorical abstract machine.
    Science of Computer Programming 8(2): 173-202, 1987
  • 32.
    Curry H.B., Feys R.
    Combinatory logic, vol.I
    North Holland, Amsterdam, 1958
  • 33.
    Davis M. (ed.)
    Solvability, probability, definability: the collected works of Emil L. Post
    Boston, Massachusetts, 1994
  • 34.
    Date C.J.
    Encapsulation is a Red Herring.
    DataBase Programming and Design On-LineFrei, Sept. 1998
  • 35.
    Floyd R.W.
    A note on mathematical induction on phrase structure grammars.
    Information and Control 4(4): 353-358, 1961
  • 36.
    Fourman M.
    The logic of topoi.
    In: Handbook of Mathematical Logic, J.Barwise et al., eds. North-Holland, 1977
  • 37.
    Frei G.
    Helmut Hasse (1898-1979)
    Expositiones Mathematicae 3 (1) (1985), 55-69
  • 38.
    Gilmore S.
    Programming in Standard ML '97: a tutorial introduction
  • 39.
    Gordon M.J.C.
    Programming language theory and its implementation.
    Prentice-Hall, 1988
  • 40.
    Gordon M.J.C.
    The denotational description of programming languages.
    Springer-Verlag, 1979
  • 41.
    Grimes F.
    Microsoft .NET for Programmers.
    Manning Publications, 2002, 386 pp.
  • 42.
    Gunter C.A., Scott D.S.
    Semantic Domains
    Handbook on theoretical computer science, Vol.B: Formal models and semantics (B):633-674, 1990.
  • 43.
    Hindley J.R.
    The principal type-scheme of an object in combinatory logic.
    Trans. Amer. Math. Soc., 146:29-60, 1969
  • 44.
    Hindley J.R., Seldin J.P.
    Introduction to combinators and l-calculus.
    London Mathematical Society Student Texts, 1, Cambridge University Press, 1986
  • 45.
    Hoare C.A.R.
    An axiomatic basis for computer programming.
    CACM 12(10):576-580, 1969
  • 46.
    Hodges A. Alan
    Turing and the Turing machine.
    The universal Turing machine: a half-century survey, pp. 3-15, New York, 1988
  • 47.
    Hughes J.
    Why functional programming matters.
    The Computer Journal, 32 (2): 98-107, April 1989
  • 48.
    Hughes R.J.M.
    Super combinators: a new implementation method for applicative languages.
    Proc. of the 1982 ACM Symposium on LISP and Functional Programming, Pittsburgh, 1982
  • 49.
    Kleene S.C.
    l-definability and recursiveness.
    Duke Math. J., p.p. 340-353, 1936
  • 50.
    Knuth D.E.
    Backus normal form vs. Backus Naur form.
    Comm. ACM 7:12 p.p. 735-736
  • 51.
    Landin P.
    The next 700 programming languages.
    Communications of ACM, 3, 1966
  • 52.
    Landin. P.J.
    The mechanical evaluation of expressions.
    Computer Journal, 6:308-320, January 1964
  • 53.
    Liberty J.
    Programming C#, 3d edition.
    O'Reilly & Associates, 2003, 710 pp. ISBN: 0596004893
  • 54.
    Lowy J.
    COM and .NET Component Services.
    O'Reilly, 2001, 384 pp.
  • 55.
    Lowy J.
    Programming .NET Components.
    O'Reilly, 2003, 480 pp.
  • 56.
    Mauny M., Suarez A.
    Implementing functional languages in the categorical abstract machine.
    Proc. of the 1986 ACM conference on LISP and functional programming, pp. 266-278, Cambridge, Massachusetts, 1986
  • 57.
    McCarthy J.
    Recursive functions of symbolic expressions and their computation by machine, Part I.
    Com. ACM, April 1960
  • 58.
    Milner A.J.R.G.
    A proposal for Standard ML.
    Proceedings of the ACM Symposium on LISP and Functional Programming, Austin, 1984
  • 59.
    Milner R.
    A theory of type polymorphism in programming languages.
    Journal of Computer and System Science, 17(3):348-375, 1978
  • 60.
    Nathan A.
    NET and COM: The Complete Interoperability Guide.
    Sams, 2002, 1608 pp.
  • 61.
    Peyton Jones S.L.
    The implementation of functional programming languages.
    Prentice Hall, 1987
  • 62.
    Plotkin G.D.
    Call-by-name, call-by-value and the l-calculus.
    Theoretical computer science, 1, pp. 125-159, 1936
  • 63.
    Pratt T.W., Zelkovitz M.V.
    Programming languages, design and implementation (4th ed.).
    Prentice Hall, 2000 (В русском переводе: Пратт Т., Зелкович М., Языки программирования: разработка и реализация.- Спб.: Питер, 2002.-688 с.: ил.)
  • 64.
    Richter J.
    Applied Microsoft .NET Framework Programming.
    Microsoft Press, 2002, 556 pp.
  • 65.
    Roussopulos N.D.
    A semantic network model of data bases
    Toronto Univ., 1976
  • 66.
    Scho. .nfinkel M.
    Uber die Bausteine der matematischen Logik
    Math. Annalen 92, pp. 305-316, 1924. Translation printed as 'On the building blocks of mathematical logic', in van Heijenoort, J. (ed.), From Frege to Godel, Harvard University Press, 1967
  • 67.
    Scott D.S.
    Domains for denotational semantics.
    ICALP 1982, 577-613
  • 68.
    Scott D.S.
    Identity and existence in intuitionistic logic.
    In: Application of Sheaves.- Berlin: Springer, 1979, p.p. 600-696
  • 69.
    Scott D.S.
    The lattice of flow diagrams.
    Lecture Notes in Mathematics, 188, Symposium on Mathematics of Algorithmic Languages.- Springer-Verlag, 1971, p.p. 311-372
  • 70.
    Stoy J.E.
    Denotational semantics: the Scott-Strachey approach to programming language theory.
    MIT Press, 1977
  • 71.
    Strachey C.
    Fundamental Concepts in Programming Languages.
    Higher-Order and Symbolic Computation, Vol. 13, No 1/2, April 2000, p.p.11-49.
  • 72.
    Turing A.M.
    On computable numbers, with an application to the Entscheidungsproblem.
    Proc. of London Mathematical Society, ser .2, vol. 42 p.p. 230-265, 1936-7
  • 73.
    Lam H., Thai T.L.
    .NET Framework Essentials, 2nd ed.
    O'Reilly, 2002, 376 pp.
  • 74.
    Thorup L., Tofte M.
    Object-oriented programming and Standard ML.
    Proc. ACM SIGPLAN 1994 Workshop on ML and its applications, Orlando, FL, June 1994, Tech. Report 2265 INRIA, p.p. 41-49
  • 75.
    Troelsen A.
    C# and the .NET platform (2nd ed.).
    APress, 2003, 1200 pp. (В русском переводе: Троелсен Э., C# и платформа .NET. Библиотека программиста.- Спб.: Питер, 2003.-800 с.: ил.)
  • 76.
    Turner D.A.
    A new implementation technique for applicative languages.
    Software - Practice and Experience, 9:21-49, 1979
  • 77.
    Visual C#. NET Step by Step
    Microsoft Press, 2003. ISBN: 0-7356-1909-3
  • 78.
    Wadsworth C.P.
    Semantics and pragmatics of the l-calculus.
    PhD Thesis, University of Oxford, 1981
  • 79.
    Wolfengagen V.E.
    Building the access pointers to a computational environment.
    In: Electronic Workshops in Computing, Berlin Heidelberg New York: Springer-Verlag, 1998. p.p. 1-13
  • 80.
    Wolfengagen V.E.
    Event-driven objects.
    In: Proc. CSIT'1999, Moscow, Russia, 1999, Vol.1, p.p. 88-96
  • 81.
    Wolfengagen V.E.
    Functional notation for indexed concepts
    In: Proc. WFLP'2000, Benicassim, Spain, Sept. 2000
  • 82.
    Концепция Microsoft .NET
  • 83.
    Концепция Microsoft .NET
  • 84.
    Концепция Microsoft .NET
  • 85.
    Концепция Microsoft .NET
  • 86.
    Концепция Microsoft .NET
  • 87.
    Концепция Microsoft .NET
  • 88.
    Концепция Microsoft .NET
  • 89.
    Концепция Microsoft .NET
  • 90.
    Концепция Microsoft .NET
  • 91.
    Концепция Microsoft .NET
  • 92.
    Объектно-ориентированное программирование
  • 93.
    Диалект New Jersey языка программирования SML
  • 94.
    Категориальная абстрактная машина и язык программирования CAML
  • 95.
    Язык программирования C#
  • 96.
    Язык программирования ML
  • 97.
    Язык программирования ML
  • 98.
    Язык программирования Clean
  • 99.
    язык программирования Haskell

Вопросы и ответы

вопросов: 0