[Lecture Notes in Business Information Processing] Web Information Systems and Technologies Volume 246 || A Personalized and Context-Aware News Offer for Mobile Devices
- 作者Monfort, Valérie; Krempels, Karl-Heinz; Majchrzak, Tim A.; Turk, Žiga
- 文件大小2141.12KB
- 发表时间2016
- DOI10.1007/978-3-319-30996-5_8
- 页码147-168
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 ||Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Proof-Relevant ParametricityLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || 1ML with Special EffectsLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Dragging Proofs Out of PicturesLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Lambda Calculus: Practice and PrincipleLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Multi-stage Evaluation in LMSLindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Linear $$ lambda mu $$ is $$ textsc {CP} $$ (more or less)Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don · 2016