Magnus Carlsson
Magnus Carlsson
Unknown affiliation
Verified email at
Cited by
Cited by
Fudgets: A graphical user interface in a lazy functional language
M Carlsson, T Hallgren
Proceedings of the conference on Functional programming languages and …, 1993
Monads for incremental computing
M Carlsson
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
Habitat preference increases territorial defence in brown trout (Salmo trutta)
JI Johnsson, M Carlsson, LF Sundström
Behavioral Ecology and Sociobiology 48 (5), 373-377, 2000
State-dependent Riccati equation control of a small unmanned helicopter
A Bogdanov, M Carlsson, G Harvey, J Hunt, D Kieburtz, R van der Merwe, ...
AIAA Guidance, Navigation, and Control Conference and Exhibit, 5672, 2003
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces
M Carlsson, T Hallgren
Chalmers University of Technology, 1998
Timber: A programming language for real-time embedded systems
AP Black, M Carlsson, MP Jones, R Kieburtz, J Nordlander
Technical Report CSE-02-002, Dept. of Computer Science & Engineering, Oregon …, 2002
Reactive objects
J Nordlander, MP Jones, M Carlsson, RB Kieburtz, A Black
Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time …, 2002
An exercise in dependent types: A well-typed interpreter
L Augustsson, M Carlsson
Workshop on Dependent Types in Programming, Gothenburg, 1999
Programming with fudgets
T Hallgren, M Carlsson
International School on Advanced Functional Programming, 137-182, 1995
Model predictive neural control of a high-fidelity helicopter model
E Wan, A Baptista, M Carlsson, R Kiebutz, Y Zhang, A Bogdanov
AIAA Guidance, Navigation, and Control Conference and Exhibit, 4164, 2001
The semantic layers of Timber
M Carlsson, J Nordlander, D Kieburtz
Asian Symposium on Programming Languages and Systems, 339-356, 2003
Erratic fudgets: A semantic theory for an embedded coordination language
A Moran, D Sands, M Carlsson
International Conference on Coordination Languages and Models, 85-102, 1999
Hardware/software co-verification of cryptographic algorithms using cryptol
L Erkök, M Carlsson, A Wick
2009 Formal Methods in Computer-Aided Design, 188-191, 2009
Model predictive neural control for aggressive helicopter maneuvers
EA Wan, AA Bogdanov, R Kieburtz, A Baptista, M Carlsson, Y Zhang, ...
Software Enabled Control: Information Technologies for Dynamical Systems …, 2003
Erratic fudgets: A semantic theory for an embedded coordination language
A Moran, D Sands, M Carlsson
Science of Computer Programming 46 (1-2), 99-135, 2003
Policy design for a multifunctional landscape
M Gren, L Svensson, M Carlsson, K Bishop
Regional Environmental Change 10 (4), 339-348, 2010
Electroporation for enhanced methane yield from municipal solid waste
M Carlsson, A Lagerkvist, H Ecke
ORBIT 2008: Moving Organic Waste Recycling Towards Resource Management and …, 2008
Programming with time-constrained reactions
J Nordlander, M Carlsson, MP Jones, J Jonsson
Reactive objects in a functional language: an escape from the Evil I
J Nordlander, M Carlsson
ACM SIGPLAN International Conference on Functional Programming: 07/06/1997 …, 1997
Methodology for development and validation of multipurpose simulation models
M Carlsson, H Andersson, H Gavel, J Ölvander
50th AIAA Aerospace Sciences Meeting including the New Horizons Forum and …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20