Books with this tag

Interpreters; Software Engineering; Mathematical L

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2016 · ENGLISH · PDF

View details

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2015 · ENGLISH · PDF

View details

Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2014 · ENGLISH · PDF

View details

Informatik und Mathematik

Informatik und Mathematik

1991 · GERMAN · DJVU

View details

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2013 · ENGLISH · PDF

View details

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

2000 · ENGLISH · PDF

View details

Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

1992 · ENGLISH · PDF

View details

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

2011 · ENGLISH · PDF

View details

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2013 · ENGLISH · PDF

View details

Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2013 · ENGLISH · PDF

View details

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2013 · ENGLISH · PDF

View details

Informatik und Mathematik

Informatik und Mathematik

1991 · GERMAN · PDF

View details

Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings

Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings

1989 · ENGLISH · PDF

View details

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

2012 · ENGLISH · PDF

View details

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

2011 · ENGLISH · PDF

View details

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

Implementation and Application of Functional Languages: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

2011 · ENGLISH · PDF

View details

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

1991 · ENGLISH · PDF

View details

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

1989 · ENGLISH · PDF

View details

Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

1998 · ENGLISH · PDF

View details

Compiler Compilers: Third International Workshop, CC '90 Schwerin, FRG, October 22–24, 1990 Proceedings

Compiler Compilers: Third International Workshop, CC '90 Schwerin, FRG, October 22–24, 1990 Proceedings

1991 · ENGLISH · DJVU

View details

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

2000 · ENGLISH · PDF

View details

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

1989 · ENGLISH · DJVU

View details

Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings

Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings

1989 · ENGLISH · DJVU

View details

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

1991 · ENGLISH · DJVU

View details