equal
deleted
inserted
replaced
|
1 @string{JFP="J. Functional Programming"} |
|
2 |
|
3 @article{MuellerNvOS99, |
|
4 author= |
|
5 {Olaf M{\"u}ller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch}, |
|
6 title={{HOLCF = HOL + LCF}},journal=JFP,year=1999,volume=9,pages={191--223}} |
|
7 |