voigt's operational-semantics [11 articles] Export

Recent papers added to voigt's library classified by the tag operational-semantics. You can also see everyone's operational-semantics.

Hide details

	A family of syntactic logical relations for the semantics of Haskell-like languages [My Copy] Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368. by Patricia Johann, Janis Voigtländer posted to call-by-name deforestation errors free-theorems functional-programming haskell lambda-calculus lazy-evaluation logical-relations operational-semantics parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2009-07-19 07:38:42 as along with 1 person msakai
	Selective strictness and parametricity in structural operational semantics, inequationally [My Copy] Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318. by Janis Voigtländer, Patricia Johann posted to call-by-name free-theorems functional-programming haskell lambda-calculus laziness lazy-evaluation logical-relations operational-semantics parametricity pcf polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-12-11 15:51:34 as
	The semantics of future and its use in program optimization [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220. by Cormac Flanagan, Matthias Felleisen posted to compilers functional-programming operational-semantics optimization parallel-programming by voigt on 2006-10-06 12:10:34 as along with 5 people and 3 groups mattmight robertjohnsimmons samth A_Olympia dsilva NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Adventures in time and space [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 168-179. by Norman Danner, James S. Royer posted to call-by-value complexity-analysis denotational-semantics functional-programming lambda-calculus operational-semantics pcf types by voigt on 2006-03-21 11:26:19 as
	Operational reasoning for functions with local state [My Copy] (1998), pp. 227-274. by A. M. Pitts, I. D. B. Stark posted to functional-programming operational-semantics types by voigt on 2005-11-02 14:10:34 as
	Relational Interpretations of Recursive Types in an Operational Setting [My Copy] Information and Computation, Vol. 155, No. 1-2. (25 November 1999), pp. 3-63. by Lars Birkedal, Robert Harper posted to continuations functional-programming operational-semantics pcf types by voigt on 2005-09-30 13:59:27 as
	A step-indexed model of substructural state [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 78-91. by Amal Ahmed, Matthew Fluet, Greg Morrisett posted to clean functional-programming lambda-calculus operational-semantics types uniqueness by voigt on 2005-09-28 08:57:06 as
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted to functional-programming ml operational-semantics types by voigt on 2005-09-14 08:06:11 as along with 9 people and 1 group ama08r draganigajic sstrickl tautologico thsutton lyongu msakai jimburton shimomura Lambda the Ultimate
	Interaction Combinators [My Copy] Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 69-101. by Yves Lafont posted to operational-semantics by voigt on 2005-09-12 12:49:16 as along with 3 people and 1 group scis0000001 yoshihiko rgb pileWorks
	Tree Transducer Composition as Program Transformation [My Copy] (2005) by Janis Voigtländer posted to accumulating-parameters attribute-grammars call-by-name call-by-need circular-programs deforestation functional-programming haskell induction-proofs laziness lazy-evaluation multiple-traversals operational-semantics optimization program-transformation tree-transducers tupling by voigt on 2005-09-12 07:50:09 as
	Parametric polymorphism and operational equivalence [My Copy] Mathematical. Structures in Computer Science, Vol. 10, No. 3. (June 2000), pp. 321-359. by Andrew M. Pitts posted to call-by-name free-theorems functional-programming lambda-calculus logical-relations operational-semantics parametricity pcf polymorphism types by voigt on 2005-09-09 13:00:39 as along with 1 group ConcertRG

Note: You may cite this page as: http://www.citeulike.org/user/voigt/tag/operational-semantics

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
lambda-calculus	23
program-transformation	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
optimization	15
type-classes	15
tree-transducers	14
laziness	13
seq	13
xml	13
accumulating-parameters	11
deforestation	11
generic-programming	11
operational-semantics	11
strict-evaluation	11
call-by-name	10
rank-2	10
selective-strictness	10
call-by-value	8
category-theory	8
ml	8
shortcut-deforestation	8
verification	8
applications	7
call-by-need	7
attribute-grammars	6
continuations	6
pcf	6
circular-programs	5
compilers	5
dsl	5
operating-systems	5
functional-dependencies	4
induction-proofs	4
multiple-traversals	4
subtyping	4
theorem-provers	4
tupling	4
arrows	3
automata	3
dependent-types	3
embedded-systems	3
objects	3
scheme	3
clean	2
linear-logic	2
logic-programming	2
mso-logic	2
nominal-abstract-syntax	2
parallel-programming	2
programatica	2
sequentiality	2
static-analysis	2
bidirectionality	1
complexity-analysis	1
concurrency	1
databases	1
decidability	1
errors	1
exceptions	1
imperative-programming	1
imprecise-errors	1
nondeterminism	1
optimal-reduction	1
quantum-computation	1
real-time	1
streams	1
uniqueness	1
view-update	1

voigt's operational-semantics [11 articles] Export

voigt's tags