Incremental polymorphic type checking with update

1992 ◽  
pp. 347-357
Author(s):  
Alan Mycroft
Keyword(s):  
Type Checking ◽  
Polymorphic Type

A visualisation of polymorphic type checking

2000 ◽  
Vol 10 (1) ◽  
pp. 57-75 ◽  
Author(s):  
YANG JUNG ◽  
GREG MICHAELSON
Keyword(s):  
Functional Language ◽  
Type Checking ◽  
Standard Ml ◽  
Graphical Environment ◽  
Polymorphic Type

The understanding of polymorphic typechecking and type errors is poorly supported by contemporary functional language implementations. Here, a novel visualisation of functions and their types is presented based on the generation of function specific icons with graphical type representations which change dynamically as functions are applied. This visualisation has been implemented for a Standard ML subset within a graphical environment in which function combinations are constrained by type matching.

Polymorphic type-checking in scheme

1996 ◽  
Vol 22 (4) ◽  
pp. 215-223
Author(s):  
Steven L. Jenkins ◽  
Gary T. Leavens
Keyword(s):  
Type Checking ◽  
Polymorphic Type

scholarly journals Coq Coq correct! verification of type checking and erasure for Coq, in Coq

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-28 ◽  
Author(s):  
Matthieu Sozeau ◽  
Simon Boulier ◽  
Yannick Forster ◽  
Nicolas Tabareau ◽  
Théo Winterhalter
Keyword(s):  
Type Checking
Sign in / Sign up

Export Citation Format

Share Document