Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
Na minha lista:
| Principais autores: | Chitil, Olaf., Horváth, Zoltán., Zsók, Viktória., SpringerLink (Online service) |
|---|---|
| Formato: | Digital |
| Publicado em: |
|
| Assuntos: | |
| Endereço do item: | http://dx.doi.org/10.1007/978-3-540-85373-2 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
por: Miculan, Marino., et al.
Publicado em: (2022) -
Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /
por: Cate, Balder David ten., et al.
Publicado em: (2022) -
Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /
por: Altenkirch, Thorsten,, et al.
Publicado em: (2022) -
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
por: Boer, Frank S., et al.
Publicado em: (2022) -
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
por: Baldoni, Matteo, et al.
Publicado em: (2022)