Link
Search
Menu
Expand
Document
CBS-beta
Browsing
Funcons-beta
Funcons-Index
Languages-beta
Unstable-Funcons-beta
Unstable-Languages-beta
LangDev-2019
Sources
Plain
Pretty
PDF
Notation
Publications
Changes
Downloads
Plain
Funcons-beta
Computations
Normal
Flowing
Giving
Binding
Generating
Storing
Linking
Interacting
Abnormal
Abrupting
Failing
Throwing
Returning
Breaking
Continuing
Controlling
Computation-Types
Entities
Values
Abstraction
Generic
Thunks
Functions
Patterns
Composite
Sequences
Datatypes
Tuples
Lists
Strings
Vectors
Trees
References
Records
Variants
Classes
Objects
Bits
Sets
Maps
Multisets
Graphs
Primitive
Booleans
Integers
Floats
Characters
Null
Value-Types
Funcons-Index
Languages-beta
IMP
IMP-Start
IMP-1
IMP-2
IMP-3
IMP-4
IMP-Disambiguation
IMP-Funcons-Index
SIMPLE
SIMPLE-Start
SIMPLE-1-Lexical
SIMPLE-2-Expressions
SIMPLE-3-Statements
SIMPLE-4-Declarations
SIMPLE-5-Programs
SIMPLE-A-Disambiguation
SIMPLE-Funcons-Index
MiniJava
MiniJava-Start
MiniJava-Dynamics
MiniJava-Funcons-Index
MiniJava-Syntax
SL
SL-Start
SL-1-Lexemes
SL-2-Expressions
SL-3-Statements
SL-4-Definitions
SL-Disambiguation
SL-Funcons
SL-Funcons-Index
OC-L
OC-L-Start
OC-L-01-Lexical-Conventions
OC-L-02-Values
OC-L-03-Names
OC-L-04-Type-Expressions
OC-L-05-Constants
OC-L-06-Patterns
OC-L-07-Expressions
OC-L-08-Type-and-Exception-Definitions
OC-L-09-Classes
OC-L-10-Module-Types
OC-L-11-Module-Implementations
OC-L-12-Core-Library
OC-L-A-Disambiguation
OC-L-Funcons-Index
Funcon reuse
Unstable-Funcons-beta
Computations
Threads
Multithreading
Synchronising
Locks
Notifications
Normal
Indexing
Memos
Abnormal
Postponing
Unstable-Funcons-Index
Unstable-Languages-beta
IMPPP
IMPPP-Start
IMPPP-1
IMPPP-2
IMPPP-3
IMPPP-4
IMPPP-Disambiguation
IMPPP-Funcons-Index
IMPPP-Unstable-Funcons-Index
SIMPLE-THR
SIMPLE-THR-Start
SIMPLE-THR-1-Lexical
SIMPLE-THR-2-Expressions
SIMPLE-THR-3-Statements
SIMPLE-THR-4-Declarations
SIMPLE-THR-5-Programs
SIMPLE-THR-A-Disambiguation
SIMPLE-THR-Funcons-Index
SIMPLE-THR-Unstable-Funcons-Index
LD
LD-Start
LD-Disambiguation
LD-Funcons-Index
LD-Unstable-Funcons-Index
LD-demo
Pretty
Funcons-beta
Computations
Normal
Flowing
Giving
Binding
Generating
Storing
Linking
Interacting
Abnormal
Abrupting
Failing
Throwing
Returning
Breaking
Continuing
Controlling
Computation-Types
Values
Abstraction
Generic
Thunks
Functions
Patterns
Composite
Sequences
Datatypes
Tuples
Lists
Strings
Vectors
Trees
References
Records
Variants
Classes
Objects
Bits
Sets
Maps
Multisets
Graphs
Primitive
Booleans
Integers
Floats
Characters
Null
Value-Types
Entities
Funcons-Index
Languages-beta
IMP
IMP-Start
IMP-1
IMP-2
IMP-3
IMP-4
IMP-Disambiguation
IMP-Funcons-Index
SIMPLE
SIMPLE-Start
SIMPLE-1-Lexical
SIMPLE-2-Expressions
SIMPLE-3-Statements
SIMPLE-4-Declarations
SIMPLE-5-Programs
SIMPLE-A-Disambiguation
SIMPLE-Funcons-Index
MiniJava
MiniJava-Start
MiniJava-Dynamics
MiniJava-Funcons-Index
MiniJava-Syntax
SL
SL-Start
SL-1-Lexemes
SL-2-Expressions
SL-3-Statements
SL-4-Definitions
SL-Disambiguation
SL-Funcons
SL-Funcons-Index
OC-L
OC-L-Start
OC-L-01-Lexical-Conventions
OC-L-02-Values
OC-L-03-Names
OC-L-04-Type-Expressions
OC-L-05-Constants
OC-L-06-Patterns
OC-L-07-Expressions
OC-L-08-Type-and-Exception-Definitions
OC-L-09-Classes
OC-L-10-Module-Types
OC-L-11-Module-Implementations
OC-L-12-Core-Library
OC-L-A-Disambiguation
OC-L-Funcons-Index
Funcon reuse
Unstable-Funcons-beta
Computations
Threads
Multithreading
Synchronising
Locks
Notifications
Normal
Indexing
Memos
Abnormal
Postponing
Unstable-Funcons-Index
Unstable-Languages-beta
IMPPP
IMPPP-Start
IMPPP-1
IMPPP-2
IMPPP-3
IMPPP-4
IMPPP-Disambiguation
IMPPP-Funcons-Index
IMPPP-Unstable-Funcons-Index
SIMPLE-THR
SIMPLE-THR-Start
SIMPLE-THR-1-Lexical
SIMPLE-THR-2-Expressions
SIMPLE-THR-3-Statements
SIMPLE-THR-4-Declarations
SIMPLE-THR-5-Programs
SIMPLE-THR-A-Disambiguation
SIMPLE-THR-Funcons-Index
SIMPLE-THR-Unstable-Funcons-Index
LD
LD-Start
LD-Disambiguation
LD-Funcons-Index
LD-Unstable-Funcons-Index
LD-demo
CBS-beta on GitHub
←
↑
→
Languages-beta
OC-L
OC-L-10-Module-Types
Languages-beta
:
OC-L-10-Module-Types.cbs
|
PRETTY
|
PDF
Language
"OCaml Light"
10 Module types
Omitted
From the
PLanCompS Project
CBS-beta issues…
Suggest an improvement…
←
↑
→