de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Search Results

45 Items found (descending sorted by Modification Date)
 
 
Previous12Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published Online: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: The OCaml Users and Developers Workshop
    Source Genre: Proceedings
    Source Title: OCaml 2016
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Created: 2016-12-01 | Published Online: 2016  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  3. Creators:
    Dates: Published Online: 2017-03-18  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Electronic Notes in Theoretical Computer Science
    Volume / Issue: 331
    Start / End Page: 57 - 70
    Sequence Number: -
    Source Publ. Info: Amsterdam : Elsevier
     : 1 further sources available
  4. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 21st ACM SIGPLAN International Conference on Func...
    Source Genre: Proceedings
    Source Title: ICFP'16
    Volume / Issue: -
    Start / End Page: 256 - 269
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  5. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 36th ACM SIGPLAN Conference on Programming Langua...
    Source Genre: Proceedings
    Source Title: PLDI'15
    Volume / Issue: -
    Start / End Page: 110 - 120
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  6. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'16
    Volume / Issue: -
    Start / End Page: 178 - 190
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  7. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'15
    Volume / Issue: -
    Start / End Page: 637 - 650
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  8. Creators:
    Dates: Published Online: 2015  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Functional Programming
    Volume / Issue: 25
    Start / End Page: -
    Sequence Number: e12
    Source Publ. Info: Cambridge : Cambridge Univ. Press
  9. Creators:
    Dates: Published Online: 2015-08-29 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 20th ACM SIGPLAN International Conference on Func...
    Source Genre: Proceedings
    Source Title: Proceedings of the 20th ACM SIGPLAN International...
    Volume / Issue: -
    Start / End Page: 166 - 178
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
     : 1 further sources available
  10. Creators:
    Dates: Modified: 2009-04-07 | Published in Print: 2008  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Proceedings
    Source Title: ICFP’08 : proceedings of the 2008 SIGPLAN Interna...
    Volume / Issue: -
    Start / End Page: 307 - 320
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  11. Creators:
    Dates: Modified: 2009-04-07 | Published in Print: 2008  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Proceedings
    Source Title: Proceedings of the 24th Conference on the Mathema...
    Volume / Issue: -
    Start / End Page: 313 - 336
    Sequence Number: -
    Source Publ. Info: New York, USA : Elsevier
     : 1 further sources available
  12. Creators:
    Dates: Published in Print: 2009  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 2009 ACM SIGPLAN International Conference on Func...
    Source Genre: Proceedings
    Source Title: ICFP’09 : proceedings of the 2009 ACM SIGPLAN Int...
    Volume / Issue: -
    Start / End Page: 135 - 148
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  13. Creators:
    Dates: Published in Print: 2009  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 24th Annual IEEE Symposium on Logic in Computer S...
    Source Genre: Proceedings
    Source Title: 24th Annual IEEE Symposium on Logic in Computer S...
    Volume / Issue: -
    Start / End Page: 71 - 80
    Sequence Number: -
    Source Publ. Info: Los Alamitos, CA : IEEE Computer Society
  14. Creators:
    Dates: Published in Print: 2009  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 36th Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL’09 Proceedings of the 36th Annual ACM SIGPLA...
    Volume / Issue: -
    Start / End Page: 340 - 353
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  15. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 37th Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL’10 : proceedings of the 37th Annual ACM SIGP...
    Volume / Issue: -
    Start / End Page: 185 - 198
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  16. ( )
    F-ing modules
    Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 2010 ACM SIGPLAN Workshop on Types in Language De...
    Source Genre: Proceedings
    Source Title: TLDI’10 : proceedings of the 2010 ACM SIGPLAN Wor...
    Volume / Issue: -
    Start / End Page: 89 - 102
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  17. Creators:
    Dates: Published in Print: 2010  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 2010 ACM SIGPLAN International Conference on Func...
    Source Genre: Proceedings
    Source Title: ICFP’10 : proceedings of the 2010 ACM SIGPLAN Int...
    Volume / Issue: -
    Start / End Page: 143 - 156
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  18. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: POPL’11
    Source Genre: Proceedings
    Source Title: POPL’11 Proceedings of the 38th Annual ACM SIGPLA...
    Volume / Issue: -
    Start / End Page: 133 - 146
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  19. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: LICS 2011
    Source Genre: Proceedings
    Source Title: 26th Annual IEEE Symposium on Logic in Computer S...
    Volume / Issue: -
    Start / End Page: 247 - 256
    Sequence Number: -
    Source Publ. Info: Los Alamitos, CA : IEEE Computer Society
  20. Creators:
    Dates: Published in Print: 2011  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Issue
    Source Title: Special issue dedicated to ICFP 2009
    Volume / Issue: -
    Start / End Page: 497 - 562
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  21. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: ICFP’11
    Source Genre: Proceedings
    Source Title: ICFP’11 : proceedings of the 2011 ACM SIGPLAN Int...
    Volume / Issue: -
    Start / End Page: 163 - 175
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  22. Creators:
    Dates: Published in Print: 2011  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: OOPSLA '11
    Source Genre: Issue
    Source Title: Proceedings of the 2011 ACM International Confere...
    Volume / Issue: -
    Start / End Page: 753 - 772
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  23. Creators:
    Dates: Published in Print: 2011-06-07  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Issue
    Source Title: SPECIAL ISSUE: Selected Papers of the Conference ...
    Volume / Issue: -
    Start / End Page: 1 - 37
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  24. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: PLDI'12
    Source Genre: Proceedings
    Source Title: PLDI’12 : Proceedings of the 2012 ACM SIGPLAN Con...
    Volume / Issue: -
    Start / End Page: 299 - 310
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  25. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: ICFP'12
    Source Genre: Proceedings
    Source Title: ICFP’12 : Proceedings of the 2012 ACM SIGPLAN Int...
    Volume / Issue: -
    Start / End Page: 17 - 28
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
 
 
Previous12Next