[Computer Science & Software Engineering]
Minutes of the FPU, Wednesday 3 November, 1999

Dependent Type systems

Attendees

Not available.

Minutes

References

[1] Hongwei Xi: Dependently Typed Data Structures Technical Report CUCS-023-99, Department of Computer Science, Columbia University. WAAAPL 99

[2] Hongwei Xi and Frank Pfennig: Dependent Types in Practical Programming. POPL 99

Previous meeting Return to the minutes index page Next meeting
Return to the FPU homepage
Kevin GLYNN
Last Modified: Fri Sep 1 12:15:46 EST 2000