tov's types [46 articles] Export

Recent papers added to tov's library classified by the tag types. You can also see everyone's types.

	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted to types substructural pl by tov on 2009-08-26 21:13:00 as along with 4 people and 1 group pedagand dherman bec voigt NU-PRL
	Observers for Linear Types [My Copy] In ESOP ’92: 4th European Symposium on Programming, Rennes, France, Proceedings, Vol. 582 (1992), pp. 390-407. by Martin Odersky posted to types substructural pl by tov on 2009-08-26 21:12:20 as
	An extended comparative study of language support for generic programming [My Copy] Journal of Functional Programming, Vol. 17, No. 02. (2006), pp. 145-205. by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted to ml pl types by tov on 2008-06-04 18:28:12 as
	Generalising monads to arrows [My Copy] Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111. by John Hughes posted to haskell pl types by tov on 2008-04-04 20:58:00 as along with 5 people draganigajic alec calvins pedagand americovargas
	Towards a theory of type structure [My Copy] Programming Symposium In Programming Symposium, Vol. 19 (1974), pp. 408-425. by John Reynolds posted to history icfp08 pl types by tov on 2008-03-30 18:21:06 as
	Colored local type inference [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 41-53. by Martin Odersky, Christoph Zenger, Matthias Zenger posted to icfp08 pl types by tov on 2008-03-29 20:58:40 as along with 1 person mstock
	Uniqueness Typing for Functional Languages with Graph Rewriting Semantics [My Copy] Mathematical Structures in Computer Science, Vol. 6, No. 6. (1996), pp. 579-612. by Erik Barendsen, Sjaak Smetsers posted to icfp08 pl types by tov on 2008-03-29 19:44:55 as along with 1 person mcclurmc
	A Syntactic Approach to Type Soundness [My Copy] Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94. by Andrew K. Wright, Matthias Felleisen posted to history icfp08 pl types by tov on 2008-03-27 20:53:25 as along with 11 people and 2 groups vkp greenrd tautologico bunge KarlKlose glaubersp mvermaat gkuan mcclurmc sclv nominolo SRG_at_UCD Lambda the Ultimate
	CML: A higher concurrent language [My Copy] In PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, Vol. 26, No. 6. (June 1991), pp. 293-305. by John H. Reppy posted to concurrency icfp08 ml pl types by tov on 2008-03-27 11:49:17 as along with 1 person dsilva
	Genuine shift/reset in Haskell98 [My Copy] The Haskell Mailing List (12 December 2007) by Oleg Kiselyov posted to haskell icfp08 pl types by tov on 2008-03-27 11:11:29 as
	Simple variable-state `monad' [My Copy] The Haskell Mailing List (18 December 2006) by Oleg Kiselyov posted to haskell icfp08 pl types by tov on 2008-03-27 11:10:15 as
	Strongly typed heterogeneous collections [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107. by Oleg Kiselyov, Ralf Lammel, Keean Schupke posted to haskell icfp08 pl records types by tov on 2008-03-27 11:05:41 as along with 11 people and 1 group pedagand keigoi JacquesC yallop spl iff americovargas msakai marcinzalewski shimomura jimburton NU-PRL
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\text{rd}$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (February 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:49:23 as along with 8 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip calvins conal
	Session types for inter-process communication [My Copy] (2003) by S. Gay, V. Vasconcelos, A. Ravara posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:45:19 as along with 1 person ama08r
	Types and Subtypes for Client-Server Interactions [My Copy] In ESOP '99: Proceedings of the 8th European Symposium on Programming Languages and Systems (1999), pp. 74-90. by Simon J. Gay, Malcolm Hole posted to concurrency icfp08 pl types by tov on 2008-03-27 10:43:59 as
	Parametric Overloading in Polymorphic Programming Languages [My Copy] In ESOP '88: Proceedings of the 2nd European Symposium on Programming (1988), pp. 131-144. by Stefan Kaes posted to haskell pl typeclasses types by tov on 2008-02-29 19:13:03 as along with 1 person yallop
	Parameterized Notions of Computation [My Copy] Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006) by Robert Atkey posted to haskell icfp08 pl types by tov on 2008-01-25 19:41:56 as along with 4 people pedagand keigoi mstone alec
	Associated types with class [My Copy] (2005) by M. Chakravarty, G. Keller, S. Jones, S. Marlow posted to haskell typeclasses types by tov on 2008-01-25 18:50:38 as
	An implementation of session types [My Copy] (2004) by M. Neubauer, P. Thiemann posted to concurrency haskell icfp08 types by tov on 2008-01-11 20:20:15 as along with 2 people ama08r keigoi
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to concurrency haskell pl types by tov on 2007-10-19 22:33:40 as along with 2 people conal americovargas
	Languages of the Future [My Copy] by Tim Sheard posted to parproj pl types by tov on 2007-10-08 23:10:43 as along with 5 people and 1 group twleung eaubin bdauvergne mahler americovargas Rightscom
	Dynamic Typing as Staged Type Inference [My Copy] In Symposium on Principles of Programming Languages (1998), pp. 289-302. by Mark Shields, Tim Sheard, S. L. P. Simon posted to parproj pl types by tov on 2007-10-08 23:10:26 as along with 2 people and 1 group twleung dherman NU-PRL
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted to parproj pl types by tov on 2007-09-13 22:23:46 as along with 5 people ama08r jmmcg draganigajic brecknell pedagand
	Functional array fusion [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 205-216. by Manuel M. T. Chakravarty, Gabriele Keller posted to parproj pl types by tov on 2007-09-13 22:23:43 as along with 4 people and 1 group greenrd voigt balicea wtribbey SRG_at_UCD
	More types for nested data parallel programming [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 94-105. by Manuel M. T. Chakravarty, Gabriele Keller posted to parproj pl types by tov on 2007-09-13 22:23:40 as
	MLPolyR [My Copy] (Spring 2005) by Matthias Blume posted to pl records types by tov on 2007-09-13 22:14:27 as
	Extensible programming with first-class cases [My Copy] SIGPLAN Not. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, Vol. 41, No. 9. (2006), pp. 239-250. by Matthias Blume, Umut A. Acar, Wonseok Chae posted to pl records types by tov on 2007-09-13 22:09:05 as along with 2 people and 1 group fgeller RalfMitschke ConcertRG
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted to pl types by tov on 2007-09-10 17:10:52 as along with 3 people and 1 group draganigajic keigoi jimburton Lambda the Ultimate
	Phantom types and subtyping [My Copy] Journal of Functional Programming, Vol. 16, No. 06. (9 June 2006), pp. 751-791. by Matthew Fluet, Riccardo Pucella posted to pl records types by tov on 2007-09-10 17:01:25 as
	Type inference for records in a natural extension of ML [My Copy] No. RR-1431. by Didier Rémy posted to pl records types by tov on 2007-09-06 23:22:29 as
	Objective ML: An effective object-oriented extension to ML [My Copy] Theory and Practice of Object Systems, Vol. 4, No. 1. (1998), pp. 27-50. by Didier Rémy, Jérôme Vouillon posted to pl records types by tov on 2007-09-06 23:18:26 as
	A record calculus based on symmetric concatenation [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 131-142. by Robert Harper, Benjamin Pierce posted to pl records types by tov on 2007-09-06 23:14:37 as along with 1 person and 1 group dherman NU-PRL
	Typing record concatenation for free [My Copy] In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 166-176. by Didier Rémy posted to pl records types by tov on 2007-09-06 23:14:23 as along with 1 person and 1 group dherman NU-PRL
	Type inference for record concatenation and multiple inheritance [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on In Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 92-97. by M. Wand posted to pl records shcaml types by tov on 2007-09-06 19:56:53 as
	Representing Type Information in Dynamically-Typed Languages [My Copy] No. TR93-27. (1993) by David Gudeman posted to pl scheme types by tov on 2006-10-12 20:17:44 as
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted to pl types by tov on 2006-10-06 02:16:41 as along with 17 people and 2 groups jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc jwm0123 KarlKlose cdiggins dfisher americovargas NU-PRL SRG_at_UCD
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] by G. Duck, Peyton, P. Stuckey, M. Sulzmann posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:50 as along with 1 person zednenem
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:08 as along with 8 people and 2 groups samth pedagand draganigajic twleung dherman JacquesC greenrd sclv NU-PRL SRG_at_UCD
	A Functional Notation for Functional Dependencies [My Copy] In Proceedings of the 2001 Haskell Workshop (2001) by Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber posted to haskell pl typeclasses types by tov on 2006-10-06 01:43:15 as along with 1 person keigoi
	A typed representation for HTML and XML documents in Haskell [My Copy] (2002) by P. Thiemann posted to haskell pl typeclasses types by tov on 2006-10-06 01:36:55 as
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:55 as along with 10 people and 3 groups draganigajic twleung dherman greenrd cedricboidin msakai bonotake calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:02 as along with 3 people shimomura keigoi yallop
	Parametric type classes [My Copy] In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 170-181. by Kung Chen, Paul Hudak, Martin Odersky posted to haskell pl typeclasses types by tov on 2006-10-06 01:32:06 as along with 1 person yallop
	Implementing type classes [My Copy] In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation (1993), pp. 227-236. by John Peterson, Mark Jones posted to haskell pl typeclasses types by tov on 2006-10-06 01:31:27 as
	Type Classes in Haskell [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, S. L. P. Simon, Philip L. Wadler posted to haskell pl typeclasses types by tov on 2006-10-06 01:30:23 as along with 4 people and 2 groups dherman robennals rgb bendiken NU-PRL pileWorks
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted to haskell pl typeclasses types by tov on 2006-10-06 01:24:42 as along with 5 people msakai lomeo gds SamB gkuan

Note: You may cite this page as: http://www.citeulike.org/user/tov/tag/types

pl	91
types	46
haskell	24
icfp08	23
parproj	15
scheme	15
compilers	13
typeclasses	12
concurrency	11
history	11
records	9
control	7
quantum	7
macros	4
ml	4
substructural	3
apl	2
java	2
logic	2
mine	2
contexts	1
erlang	1
shcaml	1
syntax	1

tov's types [46 articles] Export

tov's tags