Accedi

Bibliografie tematiche / Functional programming / Tesi

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Functional programming.

Tesi sul tema "Functional programming"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 25 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Functional programming".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

Hill, Stephen A. "Functional programming techniques." Thesis, University of Kent, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236147.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Longley, Mark. "Functional programming applications." Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303191.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Perera, Roland. "Interactive functional programming." Thesis, University of Birmingham, 2013. http://etheses.bham.ac.uk//id/eprint/4209/.

Testo completo

Abstract (sommario):

We propose a new kind of execution environment where applications can be debugged and re-programmed while they are being used. We call our overall concept interactive programming. We develop some of the key components of interactive programming in the setting of a pure, call-by-value functional language. We illustrate our ideas via a proof-of-concept implementation called lambdaCalc, but leave several important components of the overall vision, including efficient incremental update and scaling to large programs, for future work. Our specific achievements are as follows. First, we show how to

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Clark, Allan. "Abstraction-level functional programming." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/24458.

Testo completo

Abstract (sommario):

This thesis is concerned with the abstraction-level programming, where abstraction-level is the level of programming tasks which extend the abstraction of the machine. Extending the abstraction of the machine is generally done by compiler writers for high-level programming languages or those implementing an interface to lower-level or legacy libraries. The abstractions which are implemented are then used, either explicitly or implicitly, by the high-level language programmer. The main aim of the abstraction is often to increase programmer productivity but can also be for efficiency or security

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Widera, Manfred. "Testing in functional programming." Aachen Shaker, 2006. http://d-nb.info/988123983/04.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Widera, Manfred. "Testing in functional programming /." Aachen : Shaker, 2008. http://d-nb.info/988123983/04.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Meehan, Gary. "Aspects of functional programming." Thesis, University of Warwick, 1999. http://wrap.warwick.ac.uk/58566/.

Testo completo

Abstract (sommario):

This thesis explores the application of functional programming in new areas and its implementation using new technologies. We show how functional languages can be used to implement solutions to problems in fuzzy logic using a number of languages: Haskell, Ginger and Aladin. A compiler for the weakly-typed, lazy language Ginger is developed using Java byte-code as its target code. This is used as the inspiration for an implementation of Aladin, a simple functional language which has two novel features: its primitives are designed to be written in any language, and evaluation is controlled by de

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Martins, Pedro M. "Context-oriented functional programming." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24669.

Testo completo

Abstract (sommario):

The modern computing landscape, featuring heterogeneous interconnected mobile devices, poses new challenges and opportunities for application development. Mobility and heterogeneity of devices imply that applications need to adapt depending on their execution context. Contexts such as the device that an application is running on, or the power profile, may require widespread program-wide adaptation. Dealing with this adaptation can lead to the introduction of subtle bugs, and subsequent runtime errors, such as null pointer exceptions when context has not been initialized. Current approaches to

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Yoo, Daniel. "Building Web Based Programming Environments for Functional Programming." Digital WPI, 2012. https://digitalcommons.wpi.edu/etd-dissertations/181.

Testo completo

Abstract (sommario):

Functional programming offers an accessible and powerful algebraic model for computing. JavaScript is the language of the ubiquitous Web, but it does not support functional programs well due to its single-threaded, asynchronous nature and lack of rich control flow operators. The purpose of this work is to extend JavaScript to a language environment that satisfies the needs of functional programs on the Web. This extended language environment uses sophisticated control operators to provide an event-driven functional programming model that cooperates with the browser's DOM, along with synchron

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Alam, Abu S. "A programming system for end-user functional programming." Thesis, University of Gloucestershire, 2015. http://eprints.glos.ac.uk/2738/.

Testo completo

Abstract (sommario):

This research involves the construction of a programming system, HASKEU, to support end-user programming in a purely functional programming language. An end-user programmer is someone who may program a computer to get their job done, but has no interest in becoming a computer programmer. A purely functional programming language is one that does not require the expression of statement sequencing or variable updating. The end-user is offered two views of their functional program. The primary view is a visual one, in which the program is presented as a collection of boxes (representing processes)

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Christiansen, Jan [Verfasser]. "Investigating Minimally Strict Functions in Functional Programming / Jan Christiansen." Kiel : Universitätsbibliothek Kiel, 2012. http://d-nb.info/1024079805/34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Berg, Klaas Gerrit van den. "Software measurement and functional programming." Enschede : University of Twente [Host], 1995. http://doc.utwente.nl/57883.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Gordon, Andrew Donald. "Functional programming and input/output." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259479.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Josephs, M. B. "Functional programming with side-effects." Thesis, University of Oxford, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375263.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Grattage, Jonathan James. "A functional quantum programming language." Thesis, University of Nottingham, 2006. http://eprints.nottingham.ac.uk/10250/.

Testo completo

Abstract (sommario):

This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides a constructive operational semantics of irreversible quantum computations, realisable as quantum circuits. The quantum circuit model is also given a formal categorical definition via the category FQC. QML integrat

Gli stili APA, Harvard, Vancouver, ISO e altri

16

King, David Jonathan. "Functional programming and graph algorithms." Thesis, University of Glasgow, 1996. http://theses.gla.ac.uk/1629/.

Testo completo

Abstract (sommario):

This thesis is an investigation of graph algorithms in the non-strict purely functional language Haskell. Emphasis is placed on the importance of achieving an asymptotic complexity as good as with conventional languages. This is achieved by using the monadic model for including actions on the state. Work on the monadic model was carried out at Glasgow University by Wadler, Peyton Jones, and Launchbury in the early nineties and has opened up many diverse application areas. One area is the ability to express data structures that require sharing. Although graphs are not presented in this style, d

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Grimley, Allan. "Inductive types in functional programming." Thesis, University of Kent, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253737.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Toyn, I. "Exploratory environments for functional programming." Thesis, University of York, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377289.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Schwendner, Alex (Alex R. ). "Distributed functional programming in Scheme." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61515.

Testo completo

Abstract (sommario):

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (p. 61-62).<br>In this thesis, we present a framework for writing distributed computer programs in Scheme using simple "future" semantics. This allows a Scheme program originally written for execution on a single computer to be run in

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Wallace, Malcolm. "Functional programming and embedded systems." Thesis, University of York, 1995. http://etheses.whiterose.ac.uk/10807/.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Roe, Paul. "Parallel programming using functional languages." Thesis, Connect to e-thesis, 1991. http://theses.gla.ac.uk/1052.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Abdul, Rauf Rose Hafsah Binti. "Integrating functional programming into C++." Thesis, Swansea University, 2008. https://cronfa.swan.ac.uk/Record/cronfa43069.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Ryder, Chris. "Software measurement for functional programming." Thesis, University of Kent, 2004. https://kar.kent.ac.uk/14117/.

Testo completo

Abstract (sommario):

This thesis presents an investigation into the usefulness of software measurement techniques, also known as software metrics, for software written in functional programming languages such as Haskell. Statistical analysis is performed on a selection of metrics for Haskell programs, some taken from the world of imperative languages. An attempt is made to assess the utility of various metrics in predicting likely places that bugs may occur in practice by correlating bug fixes with metric values within the change histories of a number of case study programs. This work also examines mechanisms for

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Toczé, Klervie. "Functional Reactive Programming as programming model for telecom server software." Thesis, Linköpings universitet, Programvara och system, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-113142.

Testo completo

Abstract (sommario):

This thesis studies the use of the functional reactive programming (FRP) framework reactive-banana in a prototype which simulates a part of a Long-Term Evolution (LTE) base station: the Radio Resource Control connection setup procedure. The investigated problem is to determine whether using this FRP framework leads to an implementation with suitable performance and improved maintainability compared to the current implementation. Enhancing the maintainability of the base station software enables quicker and more efficient maintenance activities, which lead to an improved customer satisfaction.

Gli stili APA, Harvard, Vancouver, ISO e altri

25

King, Christopher T. "An axiomatic semantics for functional reactive programming." Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-042908-133033/.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Benini, Enrico. "Functional Programming In Modern Software Systems." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13264/.

Testo completo

Abstract (sommario):

Con questa tesi si vuole studiare come il paradigma funzionale, sebbene sia meno utilizzato rispetto alle controparti imperative ed object oriented, stia influenzando l'industria del software. Durante la trattazione verranno analizzate le motivazioni alla base di questa tendenza e illustrate, attraverso semplici esempi, le principali astrazioni fondanti lo stile funzionale. I risultati delle analisi svolte mostrano come lo stile funzionale sia oramai una conoscenza essenziale e un'alternativa matura e concreta per la produzione del software. Inoltre, questo argomento viene avvalorato dalla

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Svallfors, Hugo. "Sard: An Object-Functional Programming Language." Thesis, Umeå universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-51276.

Testo completo

Abstract (sommario):

This bachelor's degree concerns the specification of a new programming language. This language, called Sard, is a backwards-incompatible new version of the existing language Scala. Sard, like Scala, is a high-level object-functional language. Unlike Scala, it is not very closely tied to the JVM or Java, eliminating some constraints on the language's design. Since this necessitates breaking backwards compatibility with Scala, the opportunity to disregard it is used to x some of the author's irritations with the language. This degree mostly focuses on deciding on the exact changes to Scala, and

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Bergstrom, Lars. "Parallel functional programming with mutable state." Thesis, The University of Chicago, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3568360.

Testo completo

Abstract (sommario):

<p> Immutability greatly simplifies the implementation of parallel languages. In the absence of mutable state the language implementation is free to perform parallel operations with fewer locks and fewer restrictions on scheduling and data replication. In the Manticore project, we have achieved nearly perfect speedups across both Intel and AMD manycore machines on a variety of benchmarks using this approach. </p><p> There are parallel stateful algorithms, however, that exhibit significantly better performance than the corresponding parallel algorithm without mutable state. For example, in m

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Taylor, Frank Stephen. "Parallel functional programming by declarative partitioning." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Iglesias, Pablo Nogueira. "Polytypic functional programming and data abstraction." Thesis, University of Nottingham, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.430769.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Howells, William Gareth James. "Data modelling, subtyping and functional programming." Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279165.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Widera, Manfred [Verfasser]. "Testing in Functional Programming / Manfred Widera." Aachen : Shaker, 2008. http://d-nb.info/1162790296/34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Al-Khanji, L. (Louai). "Expressing functional reactive programming in C++." Master's thesis, University of Oulu, 2015. http://jultika.oulu.fi/Record/nbnfioulu-201511212160.

Testo completo

Abstract (sommario):

Abstract. Most C++ programs are written in a straight-forward imperative style. While e.g. callbacks are employed either directly or through the observer pattern, the mental overhead of keeping program state congruent is high and increases with program size. This paper presents a translation of functional reactive programming into C++ terms. This paradigm originates from the Haskell language community and seeks to express easily how programs should react to new input. Concretely, an implementation of a reactive property class is presented, where property in this context is a class holdin

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Pitcher, C. S. "Functional programming and erratic non-determinism." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393759.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Perez, Dominguez Ivan. "Extensible and robust functional reactive programming." Thesis, University of Nottingham, 2018. http://eprints.nottingham.ac.uk/50348/.

Testo completo

Abstract (sommario):

Programming GUI and multimedia in functional languages has been a long-term challenge, and no solution convinces the community at large. Purely functional GUI and multimedia toolkits enable abstract thinking, but have enormous maintenance costs. General solutions like Functional Reactive Programming present a number of limitations. FRP has traditionally resisted efficient implementation, and existing libraries sacrifice determinism and abstraction in the name of performance. FRP also enforces structural constraints that facilitate reasoning, but at the cost of modularity and separation of conc

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Yu, Gwoing Tina. "An analysis of the impact of functional programming techniques on genetic programming." Thesis, University College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.313519.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Gammon, Shauna C. A. "Notions of category theory in functional programming." Thesis, University of British Columbia, 2007. http://hdl.handle.net/2429/31756.

Testo completo

Abstract (sommario):

We present a detailed examination of applications of category theory to functional programming languages, with a primary focus on monads in Haskell. First, we explore E. Moggi's work in categorical semantics, which provides the theoretical foundation for employing monads in functional languages. In particular, we examine his use of Kleisli triples to model notions of computation. We then study P. Wadler's implementation of Moggi's ideas as a means to mimic side-effects in the purely functional language Haskell. We explicitly demonstrate the connections between Kleisli triples, categoryt

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Wray, S. C. "Implementation and programming techniques for functional languages." Thesis, University of Cambridge, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373719.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Sculthorpe, Neil. "Towards safe and efficient functional reactive programming." Thesis, University of Nottingham, 2011. http://eprints.nottingham.ac.uk/11981/.

Testo completo

Abstract (sommario):

Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on time-varying values (signals). FRP is based on the synchronous data-flow paradigm and supports both continuous-time and discrete-time signals (hybrid systems). What sets FRP apart from most other reactive languages is its support for systems with highly dynamic structure (dynamism) and higher-order reactive constructs (higher-order data-flow). However, the price paid for these features has been the loss of the safety and performance guarantees provided

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Loidl, Hans Wolfgang. "Granularity in large-scale parallel functional programming." Thesis, University of Glasgow, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241782.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Wall, Karl. "G#, a graphical approach to functional programming." Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Datateknik och informatik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-43359.

Testo completo

Abstract (sommario):

The purpose of this bachelor thesis was to present a solution for how a graphical programming language with a functional mindset can be constructed with the help of inspiration from functional programming. An artefact was created by using design science as a research methodology and has in several iterations gone through development and testing to reassure the outcome works as intended. The graphical programming language which has been developed is a language that allows the programmer to code in depth, functions are written as blocks inside blocks and the language is made compact. A code stru

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Ostheimer, Gerald. "Parallel functional programming for message-passing multiprocessors." Thesis, University of St Andrews, 1993. http://hdl.handle.net/10023/13426.

Testo completo

Abstract (sommario):

We propose a framework for the evaluation of implicitly parallel functional programs on message passing multiprocessors with special emphasis on the issue of load bounding. The model is based on a new encoding of the lambda-calculus in Milner's pi-calculus and combines lazy evaluation and eager (parallel) evaluation in the same framework. The pi-calculus encoding serves as the specification of a more concrete compilation scheme mapping a simple functional language into a message passing, parallel program. We show how and under which conditions we can guarantee successful load bounding based on

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Kelso, Joel. "A visual programming environment for functional languages." Thesis, Kelso, Joel (2002) A visual programming environment for functional languages. PhD thesis, Murdoch University, 2002. https://researchrepository.murdoch.edu.au/id/eprint/50254/.

Testo completo

Abstract (sommario):

The purported advantages of Visual Programming, as applied to general purpose programmjng languages, have remained largely unfulfilled. The essence of this thesis is that functional programming languages have at least one natural visual representation, and that a useful programming environment can be based upon this representation. This thesis describes the implementation of a Visual Functional Programming Environment (VFPE). The programming environment has several significant features. •The environment includes a program editor that is inherently visual and interactive: syntactic program

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Graham, Gwyneth Clare. "An investigation of nondeterminism in functional programming languages." Thesis, Rhodes University, 1997. http://hdl.handle.net/10962/d1006658.

Testo completo

Abstract (sommario):

This thesis investigates nondeterminism in functional programming languages. To establish a precise understanding of nondeterministic language properties, Sondergaard and Sestoft's analysis and definitions of functional language properties are adopted as are the characterizations of weak and strong nondeterminism. This groundwork is followed by a denotational semantic description of a nondeterministic language (suggested by Sondergaard and Sestoft). In this manner, a precise characterization of the effects of strong nondeterminism is developed. Methods used to hide nondeterminism to in order t

Gli stili APA, Harvard, Vancouver, ISO e altri

46

McNamara, Brian. "Multiparadigm programming novel devices for implementing functional and logic programming constructs in C++ /." Diss., Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-07122004-121450/unrestricted/mcnamara%5Fbrian%5Fm%5F200407%5Fphd.pdf.

Testo completo

Abstract (sommario):

Thesis (Ph. D.)--College of Computing, Georgia Institute of Technology, 2005. Directed by Yannis Smaragdakis.<br>Spencer Rugaber, Committee Member ; Olin Shivers, Committee Member ; Mary Jean Harrold, Committee Member ; Yannis Smaragdakis, Committee Chair ; Philip Wadler, Committee Member. Includes bibliographical references.

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Mathaikutty, Deepak Abraham. "Functional Programming and Metamodeling frameworks for System Design." Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/32639.

Testo completo

Abstract (sommario):

System-on-Chip (SoC) and other complex distributed hardware/software systems contain heterogeneous components whose behavior are best captured by different models of computations (MoCs). As a result, any system design framework for such systems requires the capability to express heterogeneous MoCs. Although a number of system level design languages (SLDL)s and frameworks have proliferated over the last few years, most of them are lacking in multiple ways. Some of the SLDLs and system design frameworks we have worked with are SpecC, Ptolemy II, SystemC-H, etc. From our analysis of these, we ide

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Penney, Alastair William. "Augmenting trace-based functional debugging." Thesis, University of Bristol, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310594.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Mountjoy, Jon-Dean. "Static analysis of functional languages." Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.

Testo completo

Abstract (sommario):

Static analysis is the name given to a number of compile time analysis techniques used to automatically generate information which can lead to improvements in the execution performance of function languages. This thesis provides an introduction to these techniques and their implementation. The abstract interpretation framework is an example of a technique used to extract information from a program by providing the program with an alternate semantics and evaluating this program over a non-standard domain. The elements of this domain represent certain properties of interest. This framework is ex

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Schütz, Marko. "Analyzing demand in non-strict functional programming languages /." Frankfurt a. M, 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=979469546.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!