|
|
|
|
|
|
|
|
|
|
|
|
|
|
Partial Evaluation [electronic resource] : Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 / edited by John Hatcliff, Torben Æ Mogensen, Peter Thiemann. by Hatcliff, John [editor.] | Mogensen, Torben Æ [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1706Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Partial Evaluation [electronic resource] : International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers / edited by Olivier Danvy, Robert Glück, Peter Thiemann. by Danvy, Olivier [editor.] | Glück, Robert [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1110Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann. by Schrijvers, Tom [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7294Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann. by Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9632 | Lecture Notes in Computer Science ; 9632Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
