skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Reasoning about modular datatypes with Mendler induction

Torrini, Paolo ; Schrijvers, Tom ; Matthes, Ralph ; Mio, Matteo

EPTCS 2015-09-09

Texto completo disponível

2
Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings

Pardo, A. ; Doaitse Swierstra, S.; Pardo, Alberto ; Swierstra, S.

Springer International Publishing, Cham 2015

Texto completo disponível

3
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Memoizing a monadic mixin DSL

Wuille, Pieter ; Schrijvers, Tom ; Samulowitz, Horst ; Tack, Guido ; Stuckey, Peter Kuchen, Herbert

Lecture Notes in Computer Science, 2011 [Periódico revisado por pares]

Springer 2011

Texto completo disponível

4
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Compositional Relational Programming with Name Projection and Compositional Synthesis

Paçacı, Görkem ; Mckeever, Steve ; Hamfelt, Andreas

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 26-29, 2017, Revised Selected Papers, pp.306-321 [Periódico revisado por pares]

2018

Texto completo disponível

5
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Carvalho Junior, Francisco ; Barbosa, Luis

Springer Berlin Heidelberg, Berlin, Heidelberg 2012

Texto completo disponível

6
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Quintão Pereira, Fernando

Springer International Publishing, Cham 2014

Texto completo disponível

7
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Jhala, Ranjit ; Bosschere, Koen

Springer Berlin Heidelberg, Berlin, Heidelberg 2013

Texto completo disponível

8
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Verification of High-Level Transformations with Inductive Refinement Types

Al-Sibahi, Ahmad Salim ; Jensen, Thomas P. ; Dimovski, Aleksandar S. ; Wasowski, Andrzej

Texto completo disponível

9
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Galois Transformers and Modular Abstract Interpreters

Darais, David ; Might, Matthew ; Van Horn, David

Texto completo disponível

10
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models

Chiang, Katherine ; Fages, François ; Jiang, Jie-Hong ; Soliman, Sylvain

Proceedings of CMSB 2013, 11th International Conference on Computational Methods in Systems Biology, September 2013, Vol.8130, pp.192--205 [Periódico revisado por pares]

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (100)

Data de Publicação 

De até
  1. Antes de1988  (23)
  2. 1988Até1994  (933)
  3. 1995Até2001  (1.179)
  4. 2002Até2009  (1.918)
  5. Após 2009  (1.002)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.125)
  2. Catalão  (3)
  3. Espanhol  (3)
  4. Chinês  (1)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Li, H.
  2. Barthe, Gilles
  3. Hsu, Justin
  4. Meyer, Bertrand
  5. Wagner, Stefan

Buscando em bases de dados remotas. Favor aguardar.