|
СТ |
Chasing Bottoms. A Case Study in Program Verification in the Presence of Partial and Infinite Values |
2004 |
Danielsson N. A., Jansson P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Prototyping Generic Programming in Template Haskell |
2004 |
Norell U., Jansson P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Generic Programming - An Introduction - |
1999 |
Backhouse R., Jansson P., Jeuring J., Meertens L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.1999 |
|
СТ |
Polytypic Compact Printing and Parsing |
1999 |
Jansson P., Jeuring J. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
PolyP - a polytipic programming language extension |
1997 |
Jansson P., Jeuring J. |
|
|
|
Acta Congressus Hiberni |
01.08.1997 |
