Вы здесь

Birkedal L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Local Reasoning about a Copying Garbage Collector 2004 Birkedal L., Torp-Smith N., Reynolds J. C. POPL 2004 09.06.2004
СТ A Region Inference Algorithm 1998 Tofte M., Birkedal L. ACM Trans. on Programming Languages and Systems 21.06.1999
СТ Binding-Time Analysis for Standard ML 1994 Birkedal L., Welinder M. PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation 20.01.1995
СТ Hand-Writing Program Generator Generators 1994 Birkedal L., Welinder M. Lecture Notes in Computer Science 12.10.1994