MHDL Language Reference Manual (1996)
BibTeX
@MISC{Version96mhdllanguage,
author = {Ir-Va- Version and Intermetrics Inc and Intermetrics Inc},
title = {MHDL Language Reference Manual},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Properties : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 55 5.2 Property Value Definitions : : : : : : : : : : : : : : : : : : : : : : : : : : 57 5.3 Associations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 58 6 Named Values 61 6.1 Name Definitions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 62 6.2 Value Definitions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 63 6.2.1 Function Bindings : : : : : : : : : : : : : : : : : : : : : : : : : : 65 6.2.2 Pattern Bindings : : : : : : : : : : : : : : : : : : : : : : : : : : : 69 6.3 Patterns and Pattern Matching : : : : : : : : : : : : : : : : : : : : : : : CONTENTS iii 6.4 Constraints : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 75 6.5 Equations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 76 7 Expressions 79 7.1 Function Applications : : : : : : : : : : : : : : : : : : : : : : : : : : : : 81 7.2 Operator Applications ...
Citations
| 1225 | The essence of functional programming - Wadler - 1992 |
| 418 | Comprehending monads - Wadler - 1990 |
| 315 | How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989 |
| 221 | Principal type schemes for functional programs - Damas, Milner - 1982 |
| 98 | The principal type scheme of an object in combinatory logic - Hindley - 1969 |
| 77 | Report on the Programming Language Haskell - HUDAK, PEYTON-JONES, et al. - 1992 |
| 37 | Parametric Type Classes - Chen, Hudak, et al. - 1992 |
| 3 | A functional characterization of elements of the VHDL simulation cycle - Barton - 1991 |
| 1 | Army LABCOM-ETDL. MHDL requirements document - States - 1991 |
| 1 | units and recommendations for the use of their multiples and of certain other units - SI - 1981 |
