|
СТ |
Implicit Parameters: Dynamic Scoping with Static Types |
2000 |
Lewis J. R., Shields M. B., Meijer E., Launchbury J. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
On Embedding a Microarchitectural Design Language within Haskell |
1999 |
Launchbury J., Lewis J. R., Cook B. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Bridging the Gulf: A Common Intermediate Languge for ML and Haskell |
1998 |
Jones S. P., Launchbury J., Shields M., Molmach A. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
Monadic State: Axiomatization and Type Safety |
1997 |
Launchbury J., Sabry A. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Parametricity and Unboxing with Unpointed Types |
1996 |
Launchbury J., Paterson R. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Graph Algorithms with a Functional Flavour |
1995 |
Launchbury J. |
|
|
|
Lecture Notes in Computer Science |
24.06.1995 |
|
СТ |
Lazy Functional State Threads |
1994 |
Launchbury J., Jones S.L. P. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
|
СТ |
How to Give a Good Research Talk |
1993 |
Jones S.L. P., Hughes J., Launchbury J. |
|
|
|
SIGPLAN Notices |
27.12.1993 |
|
П |
Projection Factorisations in Partial Evaluation |
1990 |
Launchbury J. |
|
|
Univ. Glasgow |
|
13.02.1991 |
