Typeful programming

Encyclopedia : T : TY : TYP : Typeful programming

---

In computer science typeful programming is a programming style identified by widespread use of type information handled through mechanical typechecking techniques. The concept was introduced in a scientific paper of the same name published by Luca Cardelli in 1991.

E.g. the functional programming language Haskell is said to be typeful.

External Links

• [SRC Research Report 45 - Typeful Programming] The scientific paper introducing the concept of typeful programming

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?