Re: Incremental compiling

Jens Peter Secher <>
15 Sep 2000 01:35:04 -0400

          From comp.compilers

Related articles
Incremental compiling (Torleif Sandnes) (2000-09-09)
Re: Incremental compiling (Jens Peter Secher) (2000-09-15)
Re: Incremental compiling (2000-09-21)
Re: Incremental compiling (2000-10-15)
Incremental compiling (H. Yaqob) (1997-06-30)
Re: Incremental compiling (Daniel Glastonbury) (1997-07-04)
| List of all articles for this month |

From: Jens Peter Secher <>
Newsgroups: comp.compilers
Date: 15 Sep 2000 01:35:04 -0400
Organization: DIKU
References: 00-09-082
Keywords: incremental

A (very theoretical) treatment can be found in

Trevor Jim, "<a href =
are Principal Typings and What are they Good For?</a>"

The paper is about how to design type systems such that they infer a
(least) type for a module and what is /needed by the type environment/
for this type to be correct. In effect, one can avoid recompilation as
long as the /type/ interfaces do not change.

Jens Peter
echo "J. P. Secher, DIKU (DK)" |tr -d '. )'|tr ',([:upper:]' '@.[:lower:]'\
                                                              |awk -F@ '{print $0 "\t\twww." $2 "/~" $1}'

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.