Sökning: "Patrik Jansson"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Patrik Jansson.

  1. 1. Functional Polytypic Programming

    Författare :Patrik Jansson; Chalmers University of Technology; []
    Nyckelord :algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

    Sammanfattning : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. LÄS MER

  2. 2. Functional Polytypic Programming --- Use and Implementation

    Författare :Patrik Jansson; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Algebraic datatypes; Programming languages; Functional programming; Polytypic programming; Generic programming;

    Sammanfattning : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. LÄS MER

  3. 3. Den paradoxalt nödvändiga kvinnan : Könsdiskurser i Svenskt Näringsliv - ett nyliberalt drama

    Författare :Ulrika Jansson; Patrik Larsson; Liselotte Jakobsen; Birgitta Eriksson; Anna Wahl; Karlstads universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; kön; nyliberalism; jämställdhet; problemrepresentationer; diskurs; subjektspositioner; politik; Working Life Science; Arbetsvetenskap;

    Sammanfattning :   – Det är självklart att det ska råda jämställdhet mellan kvinnor och män. Ingen ska behöva behandlas sämre på grund av vilket kön man tillhör. LÄS MER

  4. 4. The Quest for Edge Awareness, Lessons not yet learned : PhD Thesis on practical and situated usefulness of advanced technological systems among inescapable uncertainties and competing interests in a world of dynamic changes

    Författare :Patrik Stensson; Anders Jansson; Pär Ågerfalk; Martin Norsell; Erik Hollnagel; Uppsala universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; critical realism; human factors; situation awareness; resilience engineering; human-machine interaction; automation; autonomy; situated usefulness; systems thinking; sociotechnical systems; edge awareness; Människa-dator interaktion; Human-Computer Interaction;

    Sammanfattning : This thesis problematizes the concept of usefulness, in part by taking questions to the extreme. The starting point is the contemporary view of usefulness, a view that remains within a traditional paradigm of technical rationality in which important aspects are disregarded or not perceived because they are not part of the equation. LÄS MER

  5. 5. Graphene Implementation Study in Semiconductor Processing

    Författare :Patrik Ahlberg; Zhibin Zhang; Shi-Li Zhang; Ulf Jansson; Eleanor Campbell; Uppsala universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Graphene, with its two-dimensional nature and unique properties, has for over a decade captured enormous interests in both industry and academia. This work tries to answer the question of what would happen to graphene when it is subjected to various processing conditions and how this would affect the graphene functionality. LÄS MER