SIGPLAN - PDFSEARCH.IO - Document Search Engine

SIGPLAN
Results: 160

#	Item
81	Lindsey Kuper Programming Systems Lab, Intel Labs Intel Corporation 3600 Juliette Lane Santa Clara, CA 95054 Add to Reading List Source URL: composition.al Language: English Association for Computing Machinery Functional programming International Conference on Functional Programming Principles of Programming Languages SIGPLAN Continuation Parallel computing Programming Language Design and Implementation GrammaTech Computing Software engineering Computer programming
82	Bor-Yuh Evan Chang http://www.cs.colorado.edu/∼bec/ + (phone) + (fax) Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2015-02-01 19:26:08 Principles of Programming Languages Formal methods Programming Language Design and Implementation Computing Formal verification Model checking SIGPLAN Program analysis Association for Computing Machinery Computer science George Necula
83	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
84	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:07 SIGPLAN Computing DYLA International Conference on Functional Programming Association for Computing Machinery Computer science Programming Language Design and Implementation
85	Author’s Guide to the ACM SIGPLAN Class (sigplanconf.cls) Association for Computing Machinery SIGPLAN Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:36 Typography Digital typography LaTeX Prolog Association for Computing Machinery MathTime TeX Computing Application software
86	Practices of PLDI Hans Boehm, Jack Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary Hall, Graham Hutton, David Padua, Frank Tip, Jan Vi Add to Reading List Source URL: www.sigplan.org Language: English - Date: 2015-04-12 11:24:20 Computer science Computing Association for Computing Machinery Programming Language Design and Implementation SIGPLAN
87	John Hughes’ Publication List This is a list of my publications as of March 2009, with citation counts fetched from Google Scholar at that time. My most highly cited articles are [57, 15, 23, 64, 27, 38, 75, 71, 70, 72 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-28 10:11:57 Functional programming Association for Computing Machinery Functional languages International Conference on Functional Programming John Hughes Continuation Haskell QuickCheck SIGPLAN Software engineering Computing Programming language theory
88	Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
89	Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-eﬀective form of lightweight program veriﬁcation. They provide Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-01 09:01:37 Type theory Functional programming Data types Functional languages International Conference on Functional Programming POPLmark challenge Principles of Programming Languages SIGPLAN Haskell Software engineering Computing Programming language theory
90	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory

UPDATE