eaubin's library 60 articles Export

	First-class labels for extensible rows [My Copy] (January 2005) by Daan Leijen posted to entailment first-class-labels qualified-types rows by eaubin on 2005-06-18 02:43:49 as
	A Theory Of Cerebral Cortex [My Copy] No. #0404. (22 December 2004) by Robert Hecht-Nielsen posted to cogent-confabulation neural-networks by eaubin on 2005-05-24 01:16:26 as
	Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation [My Copy] Thirty Five Years of Automating Mathematics (2003) by Gérard Huet edited by Fairouz Kamareddine posted to zippers by eaubin on 2005-04-25 14:46:00 as along with 5 people and 3 groups dherman JacquesC zednenem EdwardKmett namin NU-PRL functional programming Lambda the Ultimate
	Explicit Substitutions [My Copy] In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California (1990), pp. 31-46. by Mart∈ Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lèvy posted to explicit-substitutions lambda-calculus by eaubin on 2005-03-28 04:40:30 as along with 2 people darinm tautologico
	Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads [My Copy] In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted to adts linear-types monads by eaubin on 2005-03-25 18:59:13 as along with 2 people tautologico zednenem
	Elimination with a Motive [My Copy] In TYPES (2000), pp. 197-216. by Conor Mcbride posted to theorem-proving by eaubin on 2005-03-14 18:54:25 as along with 1 person msakai
	Using multiset discrimination to solve language processing problems without hashing [My Copy] Theoretical Computer Science, Vol. 145, No. 1--2. (1995), pp. 189-228. by Jiazhen Cai, Robert Paige posted to multiset-discrimination setl by eaubin on 2005-03-14 04:03:03 as
	Automatic discovery of linear restraints among variables of a program [My Copy] In POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1978), pp. 84-96. by Patrick Cousot, Nicolas Halbwachs posted to abstract-interpretation by eaubin on 2005-03-11 04:56:14 as along with 4 people and 1 group pedagand pganty bunge srccheck groupverif
	Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints [My Copy] In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), pp. 238-252. by Patrick Cousot, Radhia Cousot posted to abstract-interpretation by eaubin on 2005-03-11 04:52:27 as along with 8 people and 1 group mkaiser30 bdanilov andymaule pganty srccheck pedagand _Anne_ zuleger groupverif
	Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming [My Copy] (17-19 January 2005), pp. 1-24. by Patrick Cousot posted to bilinear-matrix-inequality convex-optimization invariance lagrangian-relaxation linear-matrix-inequality liveness parametric-abstraction polynomial-optimization rank-function safety semidefinite-programming termination-precondition by eaubin on 2005-03-11 04:28:18 as
	Real-Time Simulation of A Set Machine on a RAM [My Copy] Computing and Information, Vol. II (May 1989), pp. 69-73. by R. Paige edited by R. J. a. W. Janicki posted to setl by eaubin on 2005-03-01 04:01:31 as
	The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset [My Copy] In Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi (1997), pp. 382-414. by Deepak Goyal, Robert Paige posted to setl by eaubin on 2005-03-01 03:51:04 as
	High level reading and data structure compilation [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 456-469. by Robert Paige, Zhe Yang posted to setl by eaubin on 2005-03-01 03:49:01 as
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to type-theory by eaubin on 2005-02-27 06:05:43 as along with 20 people and 2 groups ama08r michaelbanks mperalta draganigajic greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	Efficient incremental algorithms for dynamic detection of likely invariants [My Copy] In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, Vol. 29, No. 6. (November 2004), pp. 23-32. by Jeff H. Perkins, Michael D. Ernst posted to invariant-detection by eaubin on 2005-02-26 16:15:13 as along with 1 person fgeller
	Data flow analysis is model checking of abstract interpretations [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 38-48. by David A. Schmidt posted to abstract-interpretation model-checking by eaubin on 2005-02-24 23:46:24 as along with 7 people streetlightios wasi Mikejones msakai bunge keigoi zuleger
	How to read floating point numbers accurately [My Copy] SIGPLAN Notices In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, Vol. 25, No. 6. (June 1990), pp. 92-101. by W. D. Clinger posted to floating-point compiler by eaubin on 2005-02-24 22:01:51 as along with 1 person derek_farn
	Functional automatic differentiation with dirac impulses [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 153-164. by Henrik Nilsson posted to automatic-differentiation haskell simulation by eaubin on 2005-02-24 04:05:41 as along with 1 person conal
	Accurate Floating Point Summation [My Copy] by James Demmel, Yozo Hida posted to floating-point by eaubin on 2005-02-23 17:19:02 as along with 3 people derek_farn HarshaHonnappa gane5h
	The π-Calculus in Direct Style [My Copy] Higher Order Symbol. Comput., Vol. 11, No. 2. (September 1998), pp. 177-208. by G&\#233;rard Boudol posted to blue-calculus continuation-passing-style lambda-calculus pi-calculus by eaubin on 2005-02-23 02:07:56 as
	Infinite RAAM: A Principled Connectionist Basis for Grammatical Competence [My Copy] by Simon Levy, Ofer Melnik, Jordan Pollack posted to fractals neural-networks by eaubin on 2005-02-21 17:50:15 as
	Defunctionalization at work [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174. by Olivier Danvy, Lasse R. Nielsen posted to defunctionalization by eaubin on 2005-02-21 03:39:47 as along with 4 people bulwahn neelk jespera pedagand
	The formal semantics of programming languages: an introduction [My Copy] (1993) by Glynn Winskel posted to semantics by eaubin on 2005-02-21 03:39:09 as along with 1 person fabriciaroos
	Simple relational correctness proofs for static analyses and program transformations [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 14-25. by Nick Benton posted to compiler-optimizations partial-equivalence-relations by eaubin on 2005-02-21 03:37:58 as along with 1 person and 1 group kiniry SRG_at_UCD
	Generalising monads to arrows [My Copy] Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111. by John Hughes posted to arrows monads by eaubin on 2005-02-21 03:34:49 as along with 7 people puzza jrw cedricboidin tautologico jharai conal cognominal
	A new notation for arrows [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240. by Ross Paterson posted to arrows by eaubin on 2005-02-21 03:34:07 as along with 8 people and 1 group draganigajic rwtodd jrw cedricboidin tautologico jolilius cognominal pedagand TUCS-ES_Lab
	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 249-262. by Geoffrey Washburn, Stephanie Weirich posted to catamorphisms hoas by eaubin on 2005-02-21 03:23:39 as along with 3 people and 1 group keigoi dherman scis0000001 NU-PRL
	Meta-programming through typeful code representation [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 275-286. by Chiyan Chen, Hongwei Xi posted to dependent-types singleton-types by eaubin on 2005-02-21 03:20:01 as
	Implementing typeful program transformations [My Copy] In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 20-28. by Chiyan Chen, Hongwei Xi posted to dependent-types gadt by eaubin on 2005-02-21 03:19:21 as
	Guarded recursive datatype constructors [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 224-235. by Hongwei Xi, Chiyan Chen, Gang Chen posted to dependent-types gadt by eaubin on 2005-02-21 03:18:58 as along with 1 person bec
	A framework for defining logics [My Copy] J. ACM, Vol. 40, No. 1. (January 1993), pp. 143-184. by Robert Harper, Furio Honsell, Gordon Plotkin posted to logical-frameworks by eaubin on 2005-02-21 03:14:14 as along with 2 people Benja bringert
	On equivalence and canonical forms in the LF type theory [My Copy] ACM Trans. Comput. Logic, Vol. 6, No. 1. (January 2005), pp. 61-101. by Robert Harper, Frank Pfenning posted to logical-frameworks by eaubin on 2005-02-21 03:12:51 as along with 1 person neelk
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted to combinators parsing by eaubin on 2005-01-23 05:25:00 as along with 8 people and 2 groups puzza twleung JacquesC JeffreyPalmer jrw roi joelh mcclurmc NU-PRL Lambda the Ultimate
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to interpreters monads by eaubin on 2005-01-23 03:09:54 as along with 7 people and 1 group bulwahn JacquesC rwtodd cedricboidin oliverh bfraser pile NU-PRL
	An interpretation of Standard ML in type theory [My Copy] (1997) by R. Harper, C. Stone posted to sml by eaubin on 2005-01-15 23:09:16 as along with 2 people tautologico lyongu
	Observable Sequentiality and Full Abstraction [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 328-342. by Robert Cartwright, Matthias Felleisen posted to full-abstraction by eaubin on 2005-01-13 19:15:31 as along with 2 people and 1 group JacquesC ds NU-PRL
	$My PDF r&\#233;my_94_type.pdf$ Type inference for records in natural extension of ML [My Copy] (1994), pp. 67-95. by Didier R&\#233;my posted to rows type-inference by eaubin on 2004-12-19 23:29:20
	Meta-programming With Built-in Type Equality [My Copy] by Exte N. Ed posted to dependent-types gadt singleton-types staging by eaubin on 2004-12-18 19:20:22 along with 1 person and 1 group JacquesC NU-PRL
	Languages of the Future [My Copy] by Tim Sheard posted to dependent-types gadt singleton-types staging by eaubin on 2004-12-18 19:20:02 along with 5 people and 1 group twleung bdauvergne mahler tov americovargas Rightscom
	the denotational semantics of staged execution of open code [My Copy] (2004) by A. Pitts, T. Sheard posted to staging by eaubin on 2004-12-18 19:19:09 along with 2 people and 1 group twleung JacquesC NU-PRL
	Integrating normalization-by-evaluation into a staged programming language [My Copy] (1998) by T. Sheard posted to normalization-by-evaluation staging by eaubin on 2004-12-18 19:18:47 along with 1 person twleung
	From Interpreter to Compiler using Staging and Monads [My Copy] (1998) by T. Sheard, Z. Benaissa posted to compiler interpreters monads staging by eaubin on 2004-12-18 19:18:16 along with 4 people and 2 groups twleung dherman JeffreyPalmer mahler NU-PRL Rightscom
	Tagless staged interpreters for typed languages [My Copy] (2002) by E. Pasalic, W. Taha, T. Sheard posted to interpreters staging by eaubin on 2004-12-18 19:17:38 along with 3 people and 1 group twleung mahler cdiggins 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 dynamic-typing staging by eaubin on 2004-12-18 19:16:49 along with 3 people and 1 group twleung dherman tautologico NU-PRL
	DSL implementation using staging and monads [My Copy] In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, Vol. 35, No. 1. (January 1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted to dsl monads staging by eaubin on 2004-12-18 17:43:33 along with 7 people and 1 group sourada twleung dherman JacquesC hamish stagediver keigoi NU-PRL
	Implementation Strategies for First-Class Continuations [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45. by William D. Clinger, Anne H. Hartheimer, Eric M. Ost posted to continuations scheme by eaubin on 2004-12-17 16:07:16 along with 11 people and 1 group assnoodles samth twleung marcoil jacob JacquesC JeffreyPalmer yallop ryanc tov jkominek NU-PRL
	Lambda, the ultimate label or a simple optimizing compiler for Scheme [My Copy] In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139. by William D. Clinger, Lars T. Hansen posted to compiler scheme by eaubin on 2004-12-14 03:35:42 along with 7 people and 1 group dimvar samth dherman pnkfelix JeffreyPalmer ryanc tov NU-PRL
	A functional correspondence between evaluators and abstract machines [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 8-19. by Mads S. Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard posted to abstract-machines defunctionalization by eaubin on 2004-12-11 15:49:19 along with 4 people and 1 group jpbernardy dherman jacob jespera NU-PRL
	Proof-carrying code (abstract): design, implementation and applications [My Copy] In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 175-177. by George C. Necula posted to pcc by eaubin on 2004-12-11 05:33:12 along with 1 person frej
	From system F to typed assembly language [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (May 1999), pp. 527-568. by Greg Morrisett, David Walker, Karl Crary, Neal Glew posted to system-f typed-intermediate-language by eaubin on 2004-12-11 05:30:43 along with 3 people pedagand tautologico cogumbreiro

Note: You may cite this page as: http://www.citeulike.org/user/eaubin

Result page: 1 2 Next

staging	8
dependent-types	5
monads	5
gadt	4
setl	4
abstract-interpretation	3
compiler	3
interpreters	3
lambda-calculus	3
rows	3
singleton-types	3
zippers	3
arrows	2
combinators	2
defunctionalization	2
floating-point	2
haskell	2
logical-frameworks	2
neural-networks	2
pi-calculus	2
scheme	2
types	2
abstract-machines	1
adts	1
automatic-differentiation	1
bilinear-matrix-inequality	1
binding	1
blue-calculus	1
catamorphisms	1
cogent-confabulation	1
compiler-optimizations	1
continuation-passing-style	1
continuations	1
convex-optimization	1
de-bruijn	1
denotational-semantics	1
dsl	1
dynamic-typing	1
effects	1
entailment	1
explicit-substitutions	1
first-class-labels	1
fractals	1
full-abstraction	1
generics	1
hoas	1
invariance	1
invariant-detection	1
krivine	1
lagrangian-relaxation	1
linear-matrix-inequality	1
linear-types	1
liveness	1
model-checking	1
multiset-discrimination	1
normalization-by-evaluation	1
parametric-abstraction	1
parsing	1
partial-equivalence-relations	1
pcc	1
polynomial-optimization	1
qualified-types	1
rank-function	1
regions	1
regular-expression-types	1
resource-usage	1
safety	1
semantics	1
semidefinite-programming	1
simulation	1
sml	1
system-f	1
termination-precondition	1
theorem-proving	1
typed-intermediate-language	1
type-inference	1
type-theory	1
xml	1

eaubin's library 60 articles Export

eaubin's tags