wyszukanych pozycji: 3
Abstract Computing Machines: A Lambda Calculus Perspective
ISBN: 9783540211464 / Angielski / Twarda / 2005 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The book emphasizes the design of full-fledged, fully normalizing lambda calculus The book emphasizes the design of full-fledged, fully normalizing lambda calculus |
|
cena:
389,09 zł |
Abstract Computing Machines: A Lambda Calculus Perspective
ISBN: 9783642059384 / Angielski / Miękka / 2010 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The book emphasizes the design of full-fledged, fully normalizing lambda calculus The book emphasizes the design of full-fledged, fully normalizing lambda calculus |
|
cena:
389,09 zł |
Implementation of Functional Languages: 8th International Workshop, Ifl'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
ISBN: 9783540632375 / Angielski / Miękka / 1997 / 292 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in September 1996.
The 15 thoroughly revised full papers presented were selected after a second round of reviewing from the 26 contributions accepted for presentation at the workshop. Also included is an overview by the volume editor. The volume addresses various implementational issues of functional languages including parallel implementations, language concepts and design, type systems,... This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional...
|
|
cena:
194,52 zł |