Search results for 'Functional programming languages' (try it on Scholar)

1000+ found
Order:
  1. György E. Révész (1988). Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press.
  2. Krzysztof R. Apt & Association for Logic Programming (1992). Logic Programming Proceedings of the Joint International Conference and Symposium on Logic Programming. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  3. K. L. Clark, S. Tärnlund & International Workshop on Logic Programming (1982). Logic Programming.
    No categories
     
    Export citation  
     
    My bibliography  
  4. J. Dix, Luís Moniz Pereira, Teodor C. Przymusinski & International Conference on Logic Programming (1995). Non-Monotonic Extensions of Logic Programming Iclp '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : Selected Papers. [REVIEW]
    No categories
     
    Export citation  
     
    My bibliography  
  5. Robert Kowalski, Kenneth A. Bowen, Association for Logic Programming, Ieee Computer Society & Symposium on Logic Programming (1988). Logic Programming Proceedings of the Fifth International Conference and Symposium. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  6. Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming (1991). Logic Programming and Non-Monotonic Reasoning Proceedings of the First International Workshop. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  7. Dale Miller & Association for Logic Programming (1993). Logic Programming Proceedings of the 1993 International Symposium. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  8. Peter Szeredi, David H. D. Warren & International Conference on Logic Programming (1990). Logic Programming Proceedings of the Seventh International Conference. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  9. Evan Tick, Giancarlo Succi & International Conference on Logic Programming (1994). Implementations of Logic Programming Systems.
    No categories
     
    Export citation  
     
    My bibliography  
  10.  1
    Justin Joque (forthcoming). The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages. Philosophy and Technology:1-22.
    Programming languages have developed significantly over the past century to provide complex models to think about and describe the world and processes of computation. Out of Alan Kay’s Smalltalk and a number of earlier languages, object-oriented programming has emerged as a preeminent mode of writing and organizing programs. Tracing the history of object-oriented programming from its origins in Simula and Sketchpad through Smalltalk, particularly its philosophical and technical developments, offers unique insights into philosophical questions about (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  55
    Jan van Eijck, Computational Semantics with Functional Programming.
    Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  22
    Raymond Turner (2014). Programming Languages as Technical Artifacts. Philosophy and Technology 27 (3):377-397.
    Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13. Krzysztof R. Apt, J. W. de Bakker & J. J. M. M. Rutten (1993). Logic Programming Languages Constraints, Functions, and Objects. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography  
  14. C. A. R. Hoare & J. C. Shepherdson (1985). Mathematical Logic and Programming Languages.
    No categories
     
    Export citation  
     
    My bibliography  
  15.  4
    George J. Tourlakis (2012). Theory of Computation. Wiley.
    In addition, this book contains tools that, in principle, can search a set of algorithms to see whether a problem is solvable, or more specifically, if it can be solved by an algorithm whose computations are efficient.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  43
    Jan van Eijck, Computational Semantics, Type Theory, and Functional Programming.
    An emerging standard for polymorphically typed, lazy, purely functional programming is Haskell, a language named after Haskell Curry. Haskell is based on (polymorphically typed) lambda calculus, which makes it an excellent tool for computational semantics.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  20
    Jan Jürjens (2002). Games in the Semantics of Programming Languages – an Elementary Introduction. Synthese 133 (1-2):131-158.
    Mathematical models are an important tool in the development ofsoftware technology, including programming languages and algorithms.During the last few years, a new class of such models has beendeveloped based on the notion of a mathematical game that isespecially well-suited to address the interactions between thecomponents of a system. This paper gives an introduction to thesegame-semantical models of programming languages, concentrating onmotivating the basic intuitions and putting them into context.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  18.  10
    Erkan Tin, Varol Akman & Murat Ersan (1995). Towards Situation-Oriented Programming Languages. Philosophical Explorations.
    Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  32
    Raymond Turner (2007). Understanding Programming Languages. Minds and Machines 17 (2):203-216.
    We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  20.  2
    Vladimir Shalack (2012). On Relational and Functional Languages. Logic and Logical Philosophy 21 (1):25-32.
    We prove two theorems concerning expressive power of relational and functional languages. The theorems have interesting consequences for the history of philosophy and logic.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    J. H. Connolly & D. J. Cooke (2004). The Pragmatics of Programming Languages. Semiotica 2004 (151).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22. G. Graham White (2004). The Philosophy of Programming Languages. In L. Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Blackwell 237--247.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  23.  4
    Andrzej Skowron (1971). Semantic Translation of Programming Languages. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):39-46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  37
    Jan van Eijck, Modelling the Epistemics of Communication with Functional Programming.
    Dynamic epistemic logic is the logic of the effects of epistemic actions like making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [2], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool DEMO [7, 9]. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25.  1
    John H. Connolly (2001). Context in the Study of Human Languages and Computer Programming Languages: A Comparison. In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer 116--128.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  26. Frederick R. Adams, Kenneth Aizawa & Gary Fuller (1992). Rules in Programming Languages and Networks. In J. Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum
  27.  15
    Jan van Eijck, Modelling Epistemic Updates with Functional Programming.
    Epistemic logic is the logic of knowledge, and dynamic epistemic logic is the logic of effects of communicative actions on the knowledge states of a set of agents. Typical communicative actions are making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [3], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  28.  3
    Karl Meinke (1994). Review: Gerard Huet, Logical Foundations of Functional Programming. [REVIEW] Journal of Symbolic Logic 59 (4):1439-1441.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  1
    Frank Pfenning (2004). Types and Programming Languages. Bulletin of Symbolic Logic 10 (2):213-214.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    Peter H. Schmitt (1995). Review: K. R. Apt, J. W. De Bakker, J. J. M. M. Rutten, Logic Programming Languages, Constraints, Functions, and Objects; Maria Alpuente, Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, The Semantics of Equational Logic Programming as an Instance of CLP. [REVIEW] Journal of Symbolic Logic 60 (4):1327-1328.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  1
    Peter H. Schmitt (1995). Logic Programming Languages, Constraints, Functions, and Objects, Edited by Apt KR, Bakker JW de, and Rutten JJMM, Logic Programming, The MIT Press, Cambridge, Mass., and London, 1993, Xiv+ 204 Pp. [REVIEW] Journal of Symbolic Logic 60 (4):1327-1328.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    Arnon Avron (1999). Review: John C. Mitchell, Foundations for Programming Languages. [REVIEW] Journal of Symbolic Logic 64 (2):918-922.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Arnon Avron (1999). Mitchell John C.. Foundations for Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Mass., and London, 1996, Xix + 846 Pp. [REVIEW] Journal of Symbolic Logic 64 (2):918-922.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Adam Drozdek (1993). Semantics of Programming Languages and the Theory of Truth. Epistemologia 16 (2):281-310.
     
    Export citation  
     
    My bibliography  
  35. Karl Meinke (1994). Logical Foundations of Functional Programming, Edited by Huet Gérard, The UT Year of Programming Series, Addison-Wesley Publishing Company, Reading, Mass., Etc., 1990, Xvi + 491 Pp. [REVIEW] Journal of Symbolic Logic 59 (4):1439-1441.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. David Park (1975). Blum E. K.. Towards a Theory of Semantics and Compilers for Programming Languages. Journal of Computer and System Sciences, Vol. 3 , Pp. 248–275. [REVIEW] Journal of Symbolic Logic 40 (3):470-471.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. David Park (1975). Review: E. K. Blum, Towards a Theory of Semantics and Compilers for Programming Languages. [REVIEW] Journal of Symbolic Logic 40 (3):470-471.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Anderson Faustino da Silva & Vitor Santos Costa (2006). Doctoral Consortium Presentations-The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer-Verlag 461-462.
    No categories
     
    Export citation  
     
    My bibliography  
  39. Andrzej Skowron (1971). Semantic Translation of Programming Languages. Mathematical Logic Quarterly 17 (1):39-46.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  15
    Jan van Eijck, Haskell Programming With Tests, and Some Alloy.
    How to write a program in Haskell, and how to use the Haskell testing tools . . . QuickCheck is a tool written in the functional programming language Haskell that allows testing of specifications by means of randomly generated tests. QuickCheck is part of the standard Haskell library. Re-implementations of QuickCheck exist for many languages, including Ruby and Scheme. SmallCheck is a similar tool, different from QuickCheck in that it tests properties for all finitely many values of (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41. J. Levy, Agustí & Felip Mañá (1992). Functional Lattices for Taxonomic Reasoning. Department of Artificial Intelligence, University of Edinburgh.
     
    Export citation  
     
    My bibliography  
  42.  7
    H. H. Pattee (2008). Physical and Functional Conditions for Symbols, Codes, and Languages. Biosemiotics 1 (2):147-168.
    All sciences have epistemic assumptions, a language for expressing their theories or models, and symbols that reference observables that can be measured. In most sciences the language in which their models are expressed are not the focus of their attention, although the choice of language is often crucial for the model. On the contrary, biosemiotics, by definition, cannot escape focusing on the symbol–matter relationship. Symbol systems first controlled material construction at the origin of life. At this molecular level it is (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  43.  10
    H. H. Pattee (2008). Physical and Functional Conditions for Symbols, Codes, and Languages. Biosemiotics 1 (2):147-168.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  44.  5
    Kumiko Tanaka-Ishii (2006). Dyadic Versus Triadic Sign Models in Functional and Object-Oriented Computer Programming Paradigms. Semiotica 2006 (158):213-231.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  45.  1
    Sidnéa Nunes Ferreira (2007). Bridging Theories: A Logical-Functional Perspective on Languages. Semiotica 2007 (167):91-118.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. G. H. Matthews (1967). Chomsky N. And Schützenberger M. P.. The Algebraic Theory of Context-Free Languages. Computer Programming and Formal Systems, Edited by Braffort P. And Hirschberg D., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1963, Pp. 118–161. [REVIEW] Journal of Symbolic Logic 32 (3):388-389.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. M. Nielsen & E. M. Schmidt (1982). Automata, Languages and Programming Ninth Colloquium, Aarhus, Denmark, July 12-16, 1982.
     
    Export citation  
     
    My bibliography  
  48. Courtney Pollack, Gigi Luk & Joanna A. Christodoulou (2015). A Meta-Analysis of Functional Reading Systems in Typically Developing and Struggling Readers Across Different Alphabetic Languages. Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Jonathan P. Seldin (1975). Böhm Corrado and Gross Wolf. Introduction to the CUCH. Automata Theory, Edited by Caianiello E. R., Academic Press, New York and London 1966, Pp. 35–65. Reprinted in Pubblicazioni dell'Istituto Nazionale Per le Applicazioni Del Calcolo, Ser. 11 No. 669, Rome 1966.Böhm C.. The CUCH as a Formal and Description Language. Formal Language Description Languages for Computer Programming, Proceedings of the IFIP Working Conference on Formal Language Description Languages, Edited by Steel T. B. Jr., North-Holland Publishing Company, Amsterdam 1966, Pp. 179–197. [REVIEW] Journal of Symbolic Logic 40 (1):81-83.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Lawrence W. Barsalou (1999). Perceptual Symbol Systems. Behavioral and Brain Sciences 22 (4):577-660.
    Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   256 citations  
1 — 50 / 1000