Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 58 for “"Haskell"”.
-
Compiling Haskell into Lean: A Common Abstract Syntax for Haskell and Interactive Theorem Provers
… GHC's <em>ghc-lib-parser</em> API to translate Haskell programs into Lean code, which is then validated by the Lean compiler. The repo can be found at https://github.com/holcombet/hs-to-lean/tree/main. The result is a successful compilation of a fragment of Haskell into correct and executable …
-
Identifying similar code fragments in Haskell
Identifying syntactically or functionally similar code fragments in source code is an important research question in software engineering. Many researchers pointed out that detecting and refactoring code clones can be beneficial for software maintenance purposes. This work presents a clone detector …
-
An investigation of terminal vocational education at Haskell Institute
Dissertation (Ph.D.)--University of Kansas, Education, 1952.
-
Generating multithreaded code from Parallel Haskell for symmetric multiprocessors
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
-
Hybrid eager and lazy evaluation for efficient compilation of Haskell
… a non-strict, purely functional language such as Haskell lies in its clean equational semantics. However, lazy implementations of Haskell fall short: they cannot express tail recursion gracefully without annotation. We describe resource-bounded hybrid evaluation, a mixture of strict and lazy …
-
Reformers Revealed: American Indian Progressives at Haskell Institute, Lawrence, Kansas, 1884-1909
Haskell Institute opened in1884, an early example of federal off-reservation boarding schools for American Indian youth. The goal was assimilation: strip away traditional languages, spiritual beliefs, tribal customs, even family ties, and replace them with inculcation into the values of Western …
-
Building bodies, (un)making empire: gender, sport, and colonialism in the United States, 1880-1930
… between indigeneity, sport, and gender at Haskell Institute. Now a Native American tribal college, Haskell Institute was originally built in the 1880s as part of the colonial boarding school movement, which sought to assimilate Native youth into white culture and undermine Indigenous …
-
Feasibility of Vector Instruction-Set Semantics Using Abstract Monads
… architecture using a general-purpose language, Haskell, using its monad and typeclass support to abstract over effects. Another member of the same family is the RISC-V V extension, which specifies instructions for operating on multiple data elements in a single instruction, which is useful for …
-
Focusing on Modular Refinement Typing
… are hard to design and understand. Liquid Haskell (LH) has powerful features like modular, recursive refinement of inductive data. But Liquid Haskell is relatively hard to understand as it lacks an explicit phase distinction between indices and programs. Index based systems like Dependent …
-
Programming and static analysis with graded monads
… systems into pure functional languages (such as Haskell). Graded monads have not previously been seen as an interesting programming construct on their own. This thesis explores the capability of graded monads to represent a variety of program analyses in a unified fashion, as well as the extent …
-
A meta-language for functional verification
… as an embedded domain-specific language in Haskell, is described and used to demonstrate the novelty of the programming language and to conduct two case studies. Additionally, three hardware description languages are given formal semantics using rewriting logic and we demonstrate the use of …
-
Formalisation and execution of Linear Algebra: theorems and algorithms
… reusable developments: serialisations to SML and Haskell, an implementation of algebraic structures in Isabelle/HOL, and generalisations of well-established Isabelle/HOL libraries. In addition, an experiment involving Isabelle, its logics, and the formalisation of some underlying mathematical …
-
Program Synthesis With Types
… in richly-typed languages like OCaml and Haskell are known for ``writing themselves'' once the programmer gets the types correct. In light of this observation, can we use type theory to build more expressive and efficient type-directed synthesis systems for this domain of programs? This …
-
Device-level composition in ReWire
… hardware devices for FPGAs from a high-level Haskell-like language. Previous work has shown ReWire to be a productive source language for developing whole systems in the form of single, monolithic monadic specifications. To achieve scale, modularity and reusability, some form of modularity …
-
Functional programming and 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 …
-
An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases
… implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.
-
Smten and the art of satisfiability-based search
… a simple yet powerful search interface for the Haskell programming language that accepts user-level constraints directly. We address the challenges of supporting general purpose, Turing-complete computation in search descriptions, and provide an approach for eciently evaluating Smten search …
-
The effect of monochromatic light on the growth, food conversion, and survival of two strains of rainbow trout, Salmo gairdneri (Part I); Catfish farming as supplemental income in rural Virginia: use of catfish strains (Part II)
… records and the feeding charts developed by Haskell (1959). Mean length and mean weight of test animals may be affected by the rearing of individuals under specific wavebands of light (α = .001). Fish grown under blue or green light had the greatest mean length and fish grown under control or …
Page 1 of 3