Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Harrison, William L. - Department of Computer Science, University of Missouri-Columbia
Logic and Logical Philosophy Volume 20 (2011), 130
Pattern-driven Reduction in Haskell William L. Harrison 1
The Essence of Multitasking William L. Harrison
Partially-ordered Modalities Dr. Gerard Allwein
A Simple Semantics for Polymorphic Recursion William L. Harrison
Proof Abstraction for Imperative Languages William L. Harrison
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional
DOMAIN SPECIFIC LANGUAGES FOR CELLULAR INTERACTIONS William L. Harrison1
Under consideration for publication in J. Functional Programming 1 The Logic of Demand in Haskell
A Rule-based Approach for RNA Pseudoknot Prediction , W. Harrison3
Achieving Information Flow Security Through Precise Control of Effects
Asynchronous Exceptions As An Effect William L. Harrison1
Metacomputation-based Compiler Architecture William L. Harrison and Samuel N. Kamin
Making Monads First-class with Template Haskell Pericles S. Kariotis Adam M. Procter William L. Harrison
Model-driven Engineering from Modular Monadic Semantics: Implementation Techniques
A Channel-theoretic Account of Separation Security Gerard Allwein1 and William L. Harrison2
Towards Semantics-directed System Design and Synthesis William L. Harrison1, Benjamin Schulz1, Adam Procter1, Andrew Lukefahr2 and Gerard Allwein3
Achieving Information Flow Security Through Monadic Control of Effects
